diff --git a/cranelift/isle/veri/docs/language.md b/cranelift/isle/veri/docs/language.md index 0b7d15aca3c3..b47ccdd805a4 100644 --- a/cranelift/isle/veri/docs/language.md +++ b/cranelift/isle/veri/docs/language.md @@ -283,7 +283,7 @@ Spec macros may be declared: ``` Macro expansions are of the form `(! )`. The body of the macro is -evaluated in a scope with paramters set to argument values, and the result +evaluated in a scope with parameters set to argument values, and the result substituted for the expansion expression. ## Type Instantiation