X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataConstraints.ml;h=3e8ac2f7250c3aa29ec3bffa835589c0711fe365;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=ccd88f1046761ec509db5c706c99d40e8e58d41b;hpb=4dd62101129727d1533ea077122c4ef9bb20721a;p=helm.git

diff --git a/helm/software/components/metadata/metadataConstraints.ml b/helm/software/components/metadata/metadataConstraints.ml
index ccd88f104..3e8ac2f72 100644
--- a/helm/software/components/metadata/metadataConstraints.ml
+++ b/helm/software/components/metadata/metadataConstraints.ml
@@ -385,7 +385,7 @@ and signature_concl =
           List.flatten
            (List.map 
             (fun uri ->
-              let o,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
+              let o,_ = CicEnvironment.get_obj CicUniv.oblivion_ugraph uri in
               projections_of (CicUtil.projections_of_record o uri))
             uris)
         in