diff options
| author | Arnaud Spiwack | 2014-10-21 15:58:16 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-22 07:31:45 +0200 |
| commit | aab7ae42b7ed4a071a79600a1adf5a81bafb5f89 (patch) | |
| tree | cbb2fc770f0105f64a12f1e0f461e02ff7408ae0 /tactics | |
| parent | e33d2962b549e3b0930b00933bbd2dc29fd3a905 (diff) | |
Make names in [Proofview_monad] more uniform.
ret -> return, bind -> (>>=), etc… So that monads expose a [Monad.S] signature. Also Proofview now exposes the [Monad.S] signature directly rather than in a [Monad.S] subdirectory.
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/tacinterp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tacinterp.ml b/tactics/tacinterp.ml index 8f516802db..e5177e4bd8 100644 --- a/tactics/tacinterp.ml +++ b/tactics/tacinterp.ml @@ -256,7 +256,7 @@ let get_debug () = !debug let debugging_step ist pp = match curr_debug ist with | DebugOn lev -> safe_msgnl (str "Level " ++ int lev ++ str": " ++ pp () ++ fnl()) - | _ -> Proofview.NonLogical.ret () + | _ -> Proofview.NonLogical.return () let debugging_exception_step ist signal_anomaly e pp = let explain_exc = |