From 0a167b9866d75acc1c32c3569dbea861114f7380 Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Wed, 2 Oct 2002 12:08:27 +0000
Subject: [PATCH] Modified Files: 1) grammar.txt: added parentesis to
 string-set

---
 helm/mathql/grammar.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index abbda194e..5622761a3 100644
--- 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 *)
-- 
2.39.2