From 531db3a11c2faa55884c490443d56ac308f9ac9f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 11 Mar 2005 18:37:41 +0000 Subject: [PATCH] Bugfix in restore_from_channel, before this fix hashtable (which has uris as keys and pairs 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. --- helm/ocaml/cic_proof_checking/cicEnvironment.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 ;; -- 2.39.2