From 989fb2e4d37f77171ffa0a27c6d92826985118e8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 15 Sep 2005 15:22:00 +0000
Subject: MAth

---
 grammars/logic/Logic.gf | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'grammars')

diff --git a/grammars/logic/Logic.gf b/grammars/logic/Logic.gf
index 5f49fc2e1..dbd0566f2 100644
--- a/grammars/logic/Logic.gf
+++ b/grammars/logic/Logic.gf
@@ -82,7 +82,9 @@ def
   ImplE _ _ (ImplI _ _ b) a = b a ;
   NegE _ (NegI _ b) a = b a ;
   UnivE _ _ (UnivI _ _ b) a = b a ;
----  ExistE _ _ _ (ExistI _ _ a b) d = d a b ; 
+  ExistE A B _ (ExistI A B a b) d = d a b ;
+ 
+---  ExistE _ _ _ (ExistI _ _  a b) d = d a b ; 
 --- does not tc 13/9/2005: {a{-2-}<>a{-0-}}
 --- moreover: no problem with
 --- ConjEr _ _ (ConjI _ _ a _) = a ;
-- 
cgit v1.2.3