From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 26 Apr 2005 17:21:24 +0000 (+0000)
Subject: clean also hypno_tbl
X-Git-Tag: after_svn_merge~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aa2ba3c6aa2f84f1fa1e72ddc4f3559030cd718b;p=helm.git

clean also hypno_tbl
---

diff --git a/helm/ocaml/metadata/metadataDb.ml b/helm/ocaml/metadata/metadataDb.ml
index 30e5912d8..6cbfeb1ff 100644
--- a/helm/ocaml/metadata/metadataDb.ml
+++ b/helm/ocaml/metadata/metadataDb.ml
@@ -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 *)