From 2053e46c8d6a4da32b4155d346d1b04da3686d06 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 14 Mar 2012 09:52:41 +0000
Subject: Everything compiles again.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15034 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/base_include   | 3 ---
 dev/printers.mllib | 1 +
 2 files changed, 1 insertion(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/base_include b/dev/base_include
index 1c794a3ae9..0dff05092a 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -71,15 +71,12 @@ open Pattern
 open Cbv
 open Classops
 open Pretyping
-open Pretyping.Default
-open Pretyping.Default.Cases
 open Cbv
 open Classops
 open Clenv
 open Clenvtac
 open Glob_term
 open Coercion
-open Coercion.Default
 open Recordops
 open Detyping
 open Reductionops
diff --git a/dev/printers.mllib b/dev/printers.mllib
index 91d8b43a3c..2d5919d618 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -90,6 +90,7 @@ Typeclasses_errors
 Typeclasses
 Detyping
 Indrec
+Program
 Coercion
 Unification
 Cases
-- 
cgit v1.2.3