From: Irene Schena <irene.schena@unibo.it>
Date: Wed, 2 Oct 2002 12:08:27 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~63
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a167b9866d75acc1c32c3569dbea861114f7380;p=helm.git

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

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 *)