]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQueryTParser.mly
optimized and patched
[helm.git] / helm / ocaml / mathql_interpreter / mQueryTParser.mly
index 54f8f837ccd0af63ff950cfdd7babb02d7ffbbea..c7df0c9ac8d07d6e9eb1e99df7b58ebe93c1f0cc 100644 (file)
    ;   
    
    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 }