From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 29 Apr 2005 08:08:49 +0000 (+0000)
Subject: fix (ask Enrico :-)
X-Git-Tag: single_binding~139
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4da95c0d09713430a3c58b1b43000f611c1cce69;p=helm.git

fix (ask Enrico :-)
---

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