MQueryUtil updated

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

diff --git a/helm/ocaml/mathql/mQueryTParser.mly b/helm/ocaml/mathql/mQueryTParser.mly
index dea5f4883ff9907b53de1866b48532859e193df6..7c715b29db14bb45999fd3b64640ec8a44bb3dd0 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      { MQRVar $1       }
-      | svar      { MQSVar $1       }
+      | rvar      { MQSRVar $1      }
+      | svar      { MQSSVar $1      }
       | func rvar { MQFunc ($1, $2) }
    ;
    boole: