diff options
Diffstat (limited to 'parsing/syntaxerr.ml')
| -rw-r--r-- | parsing/syntaxerr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/syntaxerr.ml b/parsing/syntaxerr.ml index 13212eecd..e239d6fe2 100644 --- a/parsing/syntaxerr.ml +++ b/parsing/syntaxerr.ml @@ -46,7 +46,7 @@ let prepare_error = function are not supported when the option -no-app-func is set." | Variable_in_scope (loc, var) -> Location.errorf ~loc - "Error: In this scoped type, variable '%s@ \ + "Error: In this scoped type, variable '%s \ is reserved for the local type %s." var var | Other loc -> |