fix (ask Enrico :-)

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 09b8ae88ac9935e4db18f9eb4b25e6ede7cb37b7..be0be0adda0d5ebe4390c398a1180bb76118798b 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -538,8 +538,7 @@ let get_object_to_add uri =
      (**********************************************
        TASSI: should fail when universes will be ON
      ***********************************************)
-     (** (Some CicUniv.empty_ugraph,None) *)
-     (None,None)
+     (Some CicUniv.empty_ugraph,None)
  in
    cleanup();
    obj,ugraph