- | NCicEnvironment.BadDependency msg ->
- None, "NCicEnvironment bad dependency: " ^ Lazy.force msg
+ | NCicEnvironment.BadDependency (msg,e) ->
+ None, "NCicEnvironment bad dependency: " ^ Lazy.force msg ^
+ snd (to_string e)
+ | NCicEnvironment.BadConstraint msg ->
+ None, "NCicEnvironment bad constraint: " ^ Lazy.force msg