X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQueryTParser.mly;h=c7df0c9ac8d07d6e9eb1e99df7b58ebe93c1f0cc;hb=04cc990d9452b85535c5dc93655078d9fb19b14c;hp=54f8f837ccd0af63ff950cfdd7babb02d7ffbbea;hpb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQueryTParser.mly b/helm/ocaml/mathql_interpreter/mQueryTParser.mly
index 54f8f837c..c7df0c9ac 100644
--- a/helm/ocaml/mathql_interpreter/mQueryTParser.mly
+++ b/helm/ocaml/mathql_interpreter/mQueryTParser.mly
@@ -296,8 +296,8 @@
    ;   
    
    attr:
-      | path BE strs { U.grp_make_x $1 $3 }
-      | path         { U.grp_make_x $1 [] }
+      | path BE STR        { U.grp_make_x $1 [$3] }
+      | path BE LC strs RC { U.grp_make_x $1 $4   }
    ;
    attrs:
       | attr SC attrs { I.grp_union $1 $3 }