X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryTParser.mly;h=7c715b29db14bb45999fd3b64640ec8a44bb3dd0;hb=9c08b9567c9aa22b9066abde48b72b441c2a95e5;hp=dea5f4883ff9907b53de1866b48532859e193df6;hpb=63c43487836c85e7831c4b867723cf602ceb8b1b;p=helm.git

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