From 8c5bf5b42f298871f6aa5b1ca5ad6feada7537c7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 28 Oct 2003 19:28:45 +0000
Subject: Affichage Assert_failure en ocaml 3.07

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4731 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/cerrors.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml
index d0be357d5d..97ab8a9b74 100644
--- a/toplevel/cerrors.ml
+++ b/toplevel/cerrors.ml
@@ -105,8 +105,13 @@ let rec explain_exn_default = function
   | Assert_failure (s,b,e) ->
       hov 0 (str "Anomaly: assert failure" ++ spc () ++
 	       (if s <> "" then 
-		 (str ("(file \"" ^ s ^ "\", characters ") ++ 
+		 if Sys.ocaml_version = "3.06" then
+		   (str ("(file \"" ^ s ^ "\", characters ") ++ 
 		    int b ++ str "-" ++ int e ++ str ")")
+		 else
+		   (str ("(file \"" ^ s ^ "\", line ") ++ int b ++
+		    str ", characters " ++ int e ++ str "-" ++
+		    int (e+6) ++ str ")")
 	       else
 		 (mt ())) ++
 	       report ())
-- 
cgit v1.2.3