diff options
| author | Hugo Herbelin | 2014-10-04 17:34:34 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-04 17:34:34 +0200 |
| commit | c22ccd90ec45099a2e97620f32ed89e0b81daa96 (patch) | |
| tree | b043ed71293fae79c2d985e867065df79f4392d5 /proofs/proofview.ml | |
| parent | c090d3511eaabe205febc68484b7b0738b403310 (diff) | |
A few Global.env removed.
Diffstat (limited to 'proofs/proofview.ml')
| -rw-r--r-- | proofs/proofview.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |