From 30c6239d0496ef9f66c29d9dd08f5bb043cdf925 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Apr 2004 16:40:46 +0000
Subject: [PATCH] <VARIABLE as="LocalFact"/> added

---
 helm/dtd/theoryobject.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/dtd/theoryobject.dtd b/helm/dtd/theoryobject.dtd
index f9dd18e16..edd02477c 100644
--- a/helm/dtd/theoryobject.dtd
+++ b/helm/dtd/theoryobject.dtd
@@ -64,4 +64,4 @@
 <!ELEMENT ht:VARIABLE (Variable)>
 <!ATTLIST ht:VARIABLE
           uri CDATA #REQUIRED
-          as (Assumption|Hypothesis|LocalDefinition) #REQUIRED>
+          as (Assumption|Hypothesis|LocalDefinition|LocalFact) #REQUIRED>
-- 
2.39.2