]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryTParser.mly
parser and pretty printer corrected and tested
[helm.git] / helm / ocaml / mathql / mQueryTParser.mly
index 7bb6be3c43484cfebf34e7a020178fa1d3680b19..a90c90e71d63b20f8dd14212ed99f3b7192f719d 100644 (file)
@@ -42,7 +42,9 @@
    %left     DIFF WHERE REFOF  
    %left     OR UNION
    %left     AND INTER
-   %nonassoc NOT EX IN STR ATTR
+   %nonassoc STR
+   %nonassoc NOT EX IN ATTR
+
    %start    qstr query result
    %type     <string>        qstr      
    %type     <MathQL.query>  query