X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FcicCache.ml;h=4a6b1697f3f4022bab365c53120e33aec3f87061;hb=2540cc551ae097178c7e11ec578b58977a35bd3b;hp=1b8488a40415f7fdfb26e8739fcee8c82497447d;hpb=c01d2aaea05f7385bee46addd900cd0397756389;p=helm.git

diff --git a/helm/interface/cicCache.ml b/helm/interface/cicCache.ml
index 1b8488a40..4a6b1697f 100644
--- a/helm/interface/cicCache.ml
+++ b/helm/interface/cicCache.ml
@@ -76,7 +76,7 @@ let change_obj uri newobj =
  let newobj =
   match newobj with
      Some newobj' -> Unchecked newobj'
-   | None         -> Frozen (Cic.Variable ("frozen-dummy", Cic.Implicit))
+   | None         -> Frozen (Cic.Variable ("frozen-dummy", None, Cic.Implicit))
  in
   HashTable.remove hashtable (uri,0) ;
   HashTable.add hashtable (uri,0) newobj