ocaml 3.09 transition

[helm.git] / helm / metadata / sql / fill_no_concl_hyp.sql

diff --git a/helm/metadata/sql/fill_no_concl_hyp.sql b/helm/metadata/sql/fill_no_concl_hyp.sql
index 3294fe12102980ab8484dc81310cf3830b3912fe..3c82358a23b0376b8c4cc54813fb48867e6ce3dd 100644 (file)
--- a/helm/metadata/sql/fill_no_concl_hyp.sql
+++ b/helm/metadata/sql/fill_no_concl_hyp.sql
@@ -1,4 +1,6 @@
 
+-- table mapping sources to number of distinct constants occurring everywhere
+-- except body
 INSERT INTO no_concl_hyp
 SELECT source, COUNT(DISTINCT h_occurrence)
 FROM refObj