From b7aa648034f73c390ba2b49c8d47c3c8277002ef Mon Sep 17 00:00:00 2001
From: ddr
Date: Wed, 20 Feb 2002 11:06:07 +0000
Subject: Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors
 parce qu'il entre en conflit avec le module Errors ajouté dans OCaml courant
 (future version OCaml 3.05).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2489 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/debug_tac.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/interface/debug_tac.ml')

diff --git a/contrib/interface/debug_tac.ml b/contrib/interface/debug_tac.ml
index 80d9d72018..be469108fb 100644
--- a/contrib/interface/debug_tac.ml
+++ b/contrib/interface/debug_tac.ml
@@ -463,7 +463,7 @@ let descr_first_error = function
 	with
 	  e ->
 	    (msgnl (str "Execution of this tactic raised message " ++ fnl () ++
-		    fnl () ++ Errors.explain_exn e ++ fnl () ++
+		    fnl () ++ Cerrors.explain_exn e ++ fnl () ++
 		    fnl () ++ str "on goal"  ++ fnl () ++
 		    pr_goal (sig_it (strip_some !the_goal)) ++ fnl () ++
 		    str "faulty tactic is" ++ fnl () ++ fnl () ++
-- 
cgit v1.2.3