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.
---
 toplevel/cerrors.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml
index ae1179597b..09ec5ce18d 100644
--- a/toplevel/cerrors.ml
+++ b/toplevel/cerrors.ml
@@ -102,7 +102,7 @@ let process_vernac_interp_error exn = match exn with
       exc
 
 let rec strip_wrapping_exceptions = function
-  | Proofview_monad.TacticFailure e as src ->
+  | Logic_monad.TacticFailure e as src ->
     let e = Backtrace.app_backtrace ~src ~dst:e in
     strip_wrapping_exceptions e
   | exc -> exc
-- 
cgit v1.2.3