diff --git a/src/Language.ml b/src/Language.ml index fbf8dc998..be2e6d16c 100644 --- a/src/Language.ml +++ b/src/Language.ml @@ -48,7 +48,7 @@ module Expr = (* Expression parser. You can use the following terminals: - IDENT --- a non-empty identifier (a-zA-Z[a-zA-Z0-9_]*) as a string + IDENT --- a non-empty identifier a-zA-Z[a-zA-Z0-9_]* as a string DECIMAL --- a decimal constant [0-9]+ as a string *)