diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-03-27 23:08:35 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-03-27 23:08:35 +0000 |
| commit | e59c5cf5c19084e49cb4817c8950c8ce90324fcc (patch) | |
| tree | 492e066dc28d12e92651c172bbd0d0554e8117d0 /toplevel | |
| parent | 9b3b1a9d73cac7ef55fc0744650eb0f668cb98a8 (diff) | |
Bug d'affichage des erreurs localisées dans un fichier suite à
changement de précédence de ++, anciennement [< ; >], vis à vis du if
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2572 85f007b7-540e-0410-9357-904b9bb8a0f7
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 -> |