From aa2ba3c6aa2f84f1fa1e72ddc4f3559030cd718b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 26 Apr 2005 17:21:24 +0000 Subject: [PATCH] clean also hypno_tbl --- helm/ocaml/metadata/metadataDb.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 *) -- 2.39.2