From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 11 Mar 2005 18:37:41 +0000 (+0000)
Subject: Bugfix in restore_from_channel, before this fix hashtable (which has uris as
X-Git-Tag: old_htmls~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=531db3a11c2faa55884c490443d56ac308f9ac9f;p=helm.git

Bugfix in restore_from_channel, before this fix hashtable (which has uris as
keys and pairs <objects,universe> as values) was dumped but restored as if it
have uris as keys and objects as values. That caused immediate segfaults
while trying to iterated on the restored table.
---

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 15bffa57d..6ad00d764 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -292,14 +292,14 @@ module Cache :
        *)
       empty (); 
       HT.iter
-       (fun k v ->
+       (fun k (v,u) ->
          callback (UriManager.string_of_uri k);
          HT.add cacheOfCookedObjects 
            (UriManager.uri_of_string (UriManager.string_of_uri k))
             (***********************************************
                TSSI: FIXME add channel stuff for universes
             ************************************************)
-           ((restore_uris v),CicUniv.empty_ugraph))
+           (restore_uris v,u))
        restored
     ;;