]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2a5362) | patch
Bugfix in restore_from_channel, before this fix hashtable (which has uris as
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 11 Mar 2005 18:37:41 +0000 (18:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 11 Mar 2005 18:37:41 +0000 (18:37 +0000)
commit531db3a11c2faa55884c490443d56ac308f9ac9f
tree9490a2ec7b1039e6c16ae342caf12f15f5dc80f3tree | snapshot
parentf2a53622595de308048f5aaac6fe22d9ac42279dcommit | diff
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.
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.