X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicEnvironment.ml;h=be0be0adda0d5ebe4390c398a1180bb76118798b;hb=4da95c0d09713430a3c58b1b43000f611c1cce69;hp=09b8ae88ac9935e4db18f9eb4b25e6ede7cb37b7;hpb=8c23828f150c4ad352b383370201145a44e69f74;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 09b8ae88a..be0be0add 100644
--- 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