]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryTParser.mly
mathQL and mqint updated
[helm.git] / helm / ocaml / mathql / mQueryTParser.mly
index 9bfcd4e0c77cb42aeeb5a345d2c8c9c676f90d34..0b375fcfea5c5ea20c9e4dcaa53b642de5d2802f 100644 (file)
       | LPR boole RPR   { $2             }
    ;   
    rlist:
-      | PATT REF                         { MQPattern $2          } 
+      | PATT REF                         { MQPattern [$2]        } 
       | rlist UNION rlist                { MQUnion ($1, $3)      }
       | rlist INTER rlist                { MQIntersect ($1, $3)  }
       | USE rlist POS svar               { MQUse ($2, $4)        }