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
---
 dev/top_printers.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index 6d7a6b3675..b179428845 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -23,7 +23,7 @@ open Tacmach
 open Term
 open Termops
 open Clenv
-open Errors
+open Cerrors
 
 let _ = Termast.print_evar_arguments := true
 
-- 
cgit v1.2.3