X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_db_map.txt;h=c58d843d29163b52d03e7cdf117f7e0dc669ec5f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=a7e99985c644aa7de90244f4cd9b08e5cafae24c;hpb=330d38a70331b13205cd3aabc420b3a112819346;p=helm.git

diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
index a7e99985c..c58d843d2 100644
--- a/helm/mathql_db_map.txt
+++ b/helm/mathql_db_map.txt
@@ -19,6 +19,8 @@ backPointer source       <- backPointer h:occurrence
 backPointer h_occurrence <- 
 backPointer h_position   <- backPointer h:position
 backPointer h_depth      <- backPointer h:depth
+no_inconcl_aux source    <- 
+no_inconcl_aux no        <- no_inconcl 
 
 backPointer -> refObj
             ->