X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcicRecord.ml;h=5502f989e9ca0149bdb4d39366cfda61edc95421;hb=a3b43762ca9cfb746933dcd991bfc363b5fdd9b7;hp=775292ccbb4c959892707be7eaa33a5e8df68236;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/library/cicRecord.ml b/helm/software/components/library/cicRecord.ml
index 775292ccb..5502f989e 100644
--- a/helm/software/components/library/cicRecord.ml
+++ b/helm/software/components/library/cicRecord.ml
@@ -43,7 +43,7 @@ let generate_one_proj uri params paramsno fields t i =
 
 let projections_of uri field_names =
  let buri = UriManager.buri_of_uri uri in
- let obj,ugraph = CicEnvironment.get_cooked_obj CicUniv.empty_ugraph uri in
+ let obj,ugraph = CicEnvironment.get_cooked_obj CicUniv.oblivion_ugraph uri in
   match obj with
      Cic.InductiveDefinition ([_,_,sort,[_,ty]],params,paramsno,_) ->
       assert (params = []); (* general case not implemented *)