From 3ce70f21a18cc19e720e8ac54b93652527881942 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Mon, 27 Jun 2016 18:15:07 +0200
Subject: rename toplevel/cerror.ml into explainErr.ml (too close to the new
 lib/cErrors.ml)

---
 dev/base_include   | 4 ++--
 dev/printers.mllib | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/base_include b/dev/base_include
index 86f34b2ac9..b09b6df2de 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -66,7 +66,7 @@ open Univ
 open Inductive
 open Indtypes
 open Cooking
-open Closure
+open CClosure
 open Reduction
 open Safe_typing
 open Declare
@@ -170,7 +170,7 @@ open Tacticals
 open Tactics
 open Eqschemes
 
-open Cerrors
+open ExplainErr
 open Class
 open Command
 open Indschemes
diff --git a/dev/printers.mllib b/dev/printers.mllib
index a2a7437fb7..3165495488 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -208,7 +208,7 @@ Dn
 Btermdn
 Hints
 Himsg
-Cerrors
+ExplainErr
 Locality
 Assumptions
 Vernacinterp
-- 
cgit v1.2.3