fix typo

kframework · May 7, 2020 · ba192d5 · ba192d5
1 parent 1c8bc06
commit ba192d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prover/lang/kore-lang.md b/prover/lang/kore-lang.md
@@ -133,7 +133,7 @@ module KORE
   syntax Ints ::= List{Int, ","}
 ```
 
-We allow two "variaties" of variables: the first, identified by a String, is for
+We allow two "varieties" of variables: the first, identified by a String, is for
 use in defining claims; the second, identified by a String and an Int subscript
 is to be used for generating fresh variables. *The second variety must be used
 only in this scenario*.