First very partial implementation of LetIn and bodyed Variables

[helm.git] / helm / interface / cicCache.ml

diff --git a/helm/interface/cicCache.ml b/helm/interface/cicCache.ml
index 1b8488a40415f7fdfb26e8739fcee8c82497447d..4a6b1697f3f4022bab365c53120e33aec3f87061 100644 (file)
--- 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