From 038819807ba7cab0bc451dfd1f6772eae110826b Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Tue, 21 Oct 2014 16:50:47 +0200
Subject: Split [Proofview] into a file where the basic operations on the state
 are defined and the file providing the primitives.

The datatypes are defined in [Proofview_monad], previous [Proofview_monad] is now called [Logic_monad] since it is more generic since the refactoring.
---
 dev/printers.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 526a402dd1..99715b9d3c 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -177,7 +177,7 @@ Refiner
 Clenv
 Evar_refiner
 Proof_errors
-Proofview_gen
+Logic_monad
 Proofview_monad
 Proofview
 Proof
-- 
cgit v1.2.3