ocaml 3.09 transition

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

diff --git a/helm/metadata/sql/fill_inconcl_aux.sql b/helm/metadata/sql/fill_inconcl_aux.sql
index 2e7140e18b4ffd226b240b1c1ce14f90299de702..50146e0fd5d42642f512894b7000ff8fd87fead6 100644 (file)
--- 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