From: Irene Schena <irene.schena@unibo.it>
Date: Thu, 5 Sep 2002 09:41:09 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: new_mathql_before_first_merge~48
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=62749c2f2c29f280ff4601414836e78a92ce7242;p=helm.git

Modified Files:
xmathql.dtd: syntax error
---

diff --git a/helm/mathql/xmathql.dtd b/helm/mathql/xmathql.dtd
index 8d74cadc5..63c014565 100644
--- a/helm/mathql/xmathql.dtd
+++ b/helm/mathql/xmathql.dtd
@@ -52,7 +52,7 @@
 
 <!-- MathQL query expression declaration -->
 
-<!ENTITY % setexpr '(Rvar|Lvar|Ref|Pattern|Select|LetIn|Relation|
+<!ENTITY % setexpr '(Rvar|Svar|Ref|Pattern|Select|LetIn|Relation|
                      Union|Intersect|Diff)'>
 
 <!-- MathQL boolean expression declaration -->