ocaml 3.09 transition

[helm.git] / helm / mathql_db_map.txt

diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
index a7e99985c644aa7de90244f4cd9b08e5cafae24c..c58d843d29163b52d03e7cdf117f7e0dc669ec5f 100644 (file)
--- 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
             ->