X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fsql%2Ffill_inconcl_aux.sql;h=50146e0fd5d42642f512894b7000ff8fd87fead6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=2e7140e18b4ffd226b240b1c1ce14f90299de702;hpb=d056a2f44cfe0ba1c517221fa87e965583188c6c;p=helm.git

diff --git a/helm/metadata/sql/fill_inconcl_aux.sql b/helm/metadata/sql/fill_inconcl_aux.sql
index 2e7140e18..50146e0fd 100644
--- a/helm/metadata/sql/fill_inconcl_aux.sql
+++ b/helm/metadata/sql/fill_inconcl_aux.sql
@@ -1,4 +1,5 @@
 
+-- table mapping sources to number of distinct constants occurring in conclusion
 INSERT INTO no_inconcl_aux
 SELECT source, COUNT(h_occurrence)
 FROM refObj