diff options
Diffstat (limited to 'tactics/tacinterp.ml')
| -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 e5177e4bd..443ec5aae 100644 --- a/tactics/tacinterp.ml +++ b/tactics/tacinterp.ml @@ -2154,7 +2154,7 @@ let _ = let prf = Proof.start sigma [env, ty] in let (prf, _) = try Proof.run_tactic env tac prf - with Proofview_monad.TacticFailure e as src -> + with Logic_monad.TacticFailure e as src -> (** Catch the inner error of the monad tactic *) let src = Errors.push src in let e = Backtrace.app_backtrace ~src ~dst:e in |