]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 785d589) | patch
it may happen that matitaclean (clean_baseuris) calls the remove function
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Nov 2005 16:26:21 +0000 (16:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Nov 2005 16:26:21 +0000 (16:26 +0000)
commit1bf23558e2145bcc125102d61f1ca17643d0fd02
tree900765d41b4e1a177112cdc5aa1adb2933d9bdaatree | snapshot
parent785d58938cfe252fc078a2ca7d4c7d8bfc83cdc8commit | diff
it may happen that matitaclean (clean_baseuris) calls the remove function
without having added the objects first... so the hashtbl is empty...
asert fasle -> []
helm/ocaml/library/librarySync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.