diff options
Diffstat (limited to 'plugins/cc')
| -rw-r--r-- | plugins/cc/cctac.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/cc/cctac.ml b/plugins/cc/cctac.ml index 70aaa0c0fc..3151a7ec75 100644 --- a/plugins/cc/cctac.ml +++ b/plugins/cc/cctac.ml @@ -486,7 +486,7 @@ let f_equal = else Tacticals.New.tclTRY (Tacticals.New.tclTHEN ((new_app_global _eq [|ty; c1; c2|]) Tactics.cut) - (Tacticals.New.tclTRY ((new_app_global _refl_equal [||]) (fun c -> Proofview.V82.tactic (apply c))))) + (Tacticals.New.tclTRY ((new_app_global _refl_equal [||]) apply))) with e when Proofview.V82.catchable_exception e -> Proofview.tclZERO e in Proofview.tclORELSE |