fname
| ProofEngineTypes.Fail msg -> "Tactic error: " ^ Lazy.force msg
| Continuationals.Error s -> "Tactical error: " ^ Lazy.force s
+ | CicTypeChecker.TypeCheckerFailure msg ->
+ "Type checking error: " ^ Lazy.force msg
| exn -> "Uncaught exception: " ^ Printexc.to_string exn