X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryTParser.mly;h=0b375fcfea5c5ea20c9e4dcaa53b642de5d2802f;hb=3c57d335904d0480f3145ccdcf663206cffd5567;hp=9bfcd4e0c77cb42aeeb5a345d2c8c9c676f90d34;hpb=ec899ba2461af8c3f0ef253a8879fc1882b8b46f;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryTParser.mly b/helm/ocaml/mathql/mQueryTParser.mly
index 9bfcd4e0c..0b375fcfe 100644
--- a/helm/ocaml/mathql/mQueryTParser.mly
+++ b/helm/ocaml/mathql/mQueryTParser.mly
@@ -106,7 +106,7 @@
       | 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)        }