mathQL.ml updated

[helm.git] / helm / ocaml / mathql / mQueryTParser.mly

diff --git a/helm/ocaml/mathql/mQueryTParser.mly b/helm/ocaml/mathql/mQueryTParser.mly
index 7c715b29db14bb45999fd3b64640ec8a44bb3dd0..9bfcd4e0c77cb42aeeb5a345d2c8c9c676f90d34 100644 (file)
--- a/helm/ocaml/mathql/mQueryTParser.mly
+++ b/helm/ocaml/mathql/mQueryTParser.mly
@@ -92,8 +92,8 @@
       | MCONCL    { MQMConclusion   }
       | CONCL     { MQConclusion    }
       | STR       { MQCons $1       } 
-      | rvar      { MQSRVar $1      }
-      | svar      { MQSSVar $1      }
+      | rvar      { MQStringRVar $1 }
+      | svar      { MQStringSVar $1 }
       | func rvar { MQFunc ($1, $2) }
    ;
    boole: