diff options
Diffstat (limited to 'proofs/refiner.mli')
| -rw-r--r-- | proofs/refiner.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/refiner.mli b/proofs/refiner.mli index ea1677f06..744843fc9 100644 --- a/proofs/refiner.mli +++ b/proofs/refiner.mli @@ -102,7 +102,7 @@ exception FailError of int * Pp.std_ppcmds Lazy.t (** Takes an exception and either raise it at the next level or do nothing. *) -val catch_failerror : exn -> unit +val catch_failerror : Exninfo.iexn -> unit val tclORELSE0 : tactic -> tactic -> tactic val tclORELSE : tactic -> tactic -> tactic |