From e59c5cf5c19084e49cb4817c8950c8ce90324fcc Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 27 Mar 2002 23:08:35 +0000
Subject: 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
---
 toplevel/cerrors.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml
index da9ae4a4de..32b5a47b45 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 -> 
-- 
cgit v1.2.3