None, "NCicEnvironment bad constraint: " ^ Lazy.force msg
| NCicUnification.UnificationFailure msg ->
None, "NCicUnification failure: " ^ Lazy.force msg
+ | NCicUnification.Uncertain msg ->
+ None, "NCicUnification uncertain: " ^ Lazy.force msg
| CicTypeChecker.TypeCheckerFailure msg ->
None, "Type checking error: " ^ Lazy.force msg
| CicTypeChecker.AssertFailure msg ->