]> matita.cs.unibo.it Git - helm.git/commitdiff
fix (ask Enrico :-)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:08:49 +0000 (08:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:08:49 +0000 (08:08 +0000)
helm/ocaml/cic_proof_checking/cicEnvironment.ml

index 09b8ae88ac9935e4db18f9eb4b25e6ede7cb37b7..be0be0adda0d5ebe4390c398a1180bb76118798b 100644 (file)
@@ -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