From c22ccd90ec45099a2e97620f32ed89e0b81daa96 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 4 Oct 2014 17:34:34 +0200
Subject: A few Global.env removed.

---
 proofs/proofview.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs/proofview.ml')

diff --git a/proofs/proofview.ml b/proofs/proofview.ml
index 2e65aa8d70..365591242a 100644
--- a/proofs/proofview.ml
+++ b/proofs/proofview.ml
@@ -1025,4 +1025,4 @@ module NonLogical = Proofview_monad.NonLogical
 let tclLIFT = Proofview_monad.Logical.lift
 
 let tclCHECKINTERRUPT =
-  tclLIFT (NonLogical.make Control.check_for_interrupt)
+   tclLIFT (NonLogical.make Control.check_for_interrupt)
-- 
cgit v1.2.3