diff options
author | Alain Frisch <alain@frisch.fr> | 2014-03-26 08:46:12 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2014-03-26 08:46:12 +0000 |
commit | 481ee603dfa2d341960889435656a9d274ca5ab1 (patch) | |
tree | 398b67c5f894666fdd8161e25c0bc4e21582d0d0 /parsing/syntaxerr.ml | |
parent | 3266bce8ac4a361348d8ef395eaab3a112fef3d5 (diff) |
Remove spurious character from error message.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 -> |