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