From 3d16e43756f5e7c7e551e93e003a15c90627b77b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 15 Jan 2009 15:31:25 +0000 Subject: [PATCH] no more universe inconsistency printed to stderr --- helm/software/components/cic/cicUniv.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/cic/cicUniv.ml b/helm/software/components/cic/cicUniv.ml index fc01328ab..58dc5cd6c 100644 --- a/helm/software/components/cic/cicUniv.ml +++ b/helm/software/components/cic/cicUniv.ml @@ -317,7 +317,7 @@ let error arc node1 closure_type node2 closure = " of\n" ^ "\t" ^ (string_of_universe node2) ^ "\n\n" ^ " ===== Universe Inconsistency detected =====\n") in - prerr_endline (Lazy.force s); +(* prerr_endline (Lazy.force s); *) raise (UniverseInconsistency s) -- 2.39.2