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 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev/base_include')

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
-- 
cgit v1.2.3