X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryTParser.mly;h=9bfcd4e0c77cb42aeeb5a345d2c8c9c676f90d34;hb=8f89cdd08d9ee0a243cf84201bf42e5503759ee3;hp=dea5f4883ff9907b53de1866b48532859e193df6;hpb=6c04191a9045120d3cf5f6046eee627d6499e5c9;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryTParser.mly b/helm/ocaml/mathql/mQueryTParser.mly
index dea5f4883..9bfcd4e0c 100644
--- 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      { MQStringRVar $1 }
+      | svar      { MQStringSVar $1 }
       | func rvar { MQFunc ($1, $2) }
    ;
    boole: