]> matita.cs.unibo.it Git - helm.git/commitdiff
clean also hypno_tbl
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Apr 2005 17:21:24 +0000 (17:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Apr 2005 17:21:24 +0000 (17:21 +0000)
helm/ocaml/metadata/metadataDb.ml

index 30e5912d822720a1cdbb24d876b6f47c1c249b4a..6cbfeb1ff12e3a47d464d02da468c2d428258538 100644 (file)
@@ -121,7 +121,7 @@ let index_inductive_def ~dbd =
     end
 
 let tables_to_clean =
-  [sort_tbl; rel_tbl; obj_tbl; conclno_tbl; fullno_tbl; name_tbl]
+  [sort_tbl; rel_tbl; obj_tbl; conclno_tbl; fullno_tbl; name_tbl; hypno_tbl]
 
 let clean ~(dbd:Mysql.dbd) =
   let owned_uris =  (* list of uris in list-of-columns format *)