Modified Files:

1) grammar.txt: added parentesis to string-set

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index abbda194ed939277c3d7524bb8806473627cbfc7..5622761a3381db959570f04bbd778f456bc1d31f 100644 (file)
--- a/helm/mathql/grammar.txt
+++ b/helm/mathql/grammar.txt
@@ -57,7 +57,8 @@ MATHEMATICAL QUERY LANGUAGE (MathQL)
                                                  insiemi stringhe *)
        |  EX <bool>                           (* existential on attributes
                                                  of references *)
-<string-set> := {}                                (* insieme vuoto*)
+<string-set> := ( <string-set> )               (* parentesizzazione *)
+             |  {}                            (* insieme vuoto*)
             |  <quoted-constant-string>       (* stringa singoletto *)
              |  {<quoted-constant-string-list>}(* insieme stringhe *)
              |  REFOF <set>                   (* insieme riferimenti *)