e ->
match e with
(Fail _)
- | (CicTypeChecker.TypeCheckerFailure (CicTypeChecker.NotWellTyped _))
- | (CicUnification.UnificationFailed) ->
+ | (CicTypeChecker.TypeCheckerFailure _)
+ | (CicUnification.UnificationFailure _) ->
warn (
"Tacticals.try_tactics failed with exn: " ^
Printexc.to_string e);