X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fsql%2Ffill_no_concl_hyp.sql;h=3c82358a23b0376b8c4cc54813fb48867e6ce3dd;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=3294fe12102980ab8484dc81310cf3830b3912fe;hpb=966e61f81843b8d6a1696e5d4b27127bc3ae5063;p=helm.git

diff --git a/helm/metadata/sql/fill_no_concl_hyp.sql b/helm/metadata/sql/fill_no_concl_hyp.sql
index 3294fe121..3c82358a2 100644
--- 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