From 8be82a3936934ba123abba8a9a68da0eaac32620 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 26 Oct 2004 11:53:22 +0000
Subject: constraint bug fix

---
 grammars/logic/Logic.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'grammars')

diff --git a/grammars/logic/Logic.gf b/grammars/logic/Logic.gf
index aed631f04..41fd5cef8 100644
--- a/grammars/logic/Logic.gf
+++ b/grammars/logic/Logic.gf
@@ -81,7 +81,7 @@ def
   ImplE _ _ (ImplI _ _ b) a = b a ;
   NegE _ (NegI _ b) a = b a ;
   UnivE _ _ (UnivI _ _ b) a = b a ;
-  ExistE _ _ _ (ExistI A B a b) d = d a b ;
+  ExistE _ _ _ (ExistI _ _ a b) d = d a b ;
 
   -- Hypo and Pron are identities
   Hypo _ a = a ;
-- 
cgit v1.2.3