diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/cerrors.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml index da9ae4a4d..32b5a47b4 100644 --- a/toplevel/cerrors.ml +++ b/toplevel/cerrors.ml @@ -88,9 +88,9 @@ let rec explain_exn_default = function hov 0 (str "Error: Fail tactic always fails (level " ++ int i ++ str").") | Stdpp.Exc_located (loc,exc) -> - hov 0 (if loc = Ast.dummy_loc then (mt ()) - else (str"At location " ++ print_loc loc ++ str":" ++ fnl ()) ++ - explain_exn_default exc) + hov 0 ((if loc = Ast.dummy_loc then (mt ()) + else (str"At location " ++ print_loc loc ++ str":" ++ fnl ())) + ++ explain_exn_default exc) | Lexer.Error Illegal_character -> hov 0 (str "Syntax error: Illegal character.") | Lexer.Error Unterminated_comment -> |