(* TODO cacciare anche altre eccezioni? *)
with
| CicUnification.UnificationFailure msg
- | CicTypeChecker.TypeCheckerFailure msg ->
- raise (Fail msg)
+ | CicTypeChecker.TypeCheckerFailure msg -> raise (Fail msg)
(* ALB *)
let apply_tac_verbose ~term status =