From f875ae88edd6a45ab72335eee0735a65d027435c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 6 Dec 2014 15:52:50 +0100
Subject: Removing import of Proofview in debugger because its module Goal
 hides the import of goal.ml and, afaiu, ocaml does not provide a way to refer
 to a shadowed module.

---
 dev/base_include | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev/base_include')

diff --git a/dev/base_include b/dev/base_include
index 71ccea9693..de63c557d3 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -136,7 +136,6 @@ open Goal
 open Logic
 open Pfedit
 open Proof
-open Proofview
 open Proof_using
 open Proof_global
 open Proof_type
-- 
cgit v1.2.3