- | CicUniv.UniverseInconsistency s ->
- prerr_endline (
- "INTERPRETAZIONE FALLITA PER UNIVERSE INCONSISTENCY:\n" ^ s);
- (* non mi e' chiaro se debba essere wrappata dal typechecker o dal
- * refiner, in ogni caso non andrebbe qui
- *)
- Ko, ugraph