diff options
| author | aarne <unknown> | 2004-10-26 11:24:32 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-10-26 11:24:32 +0000 |
| commit | 2b9e31455d5a5e93b5d52945a60a391a5c3adc2c (patch) | |
| tree | 3c38e41adf69a662a7a3db86c0e13c772128919d /grammars | |
| parent | 24ba5b3b82441ecd9a20f05b7b39071f51c32c03 (diff) | |
work on checking equations
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/logic/Logic.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammars/logic/Logic.gf b/grammars/logic/Logic.gf index 41fd5cef8..aed631f04 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) d = d a b ; + ExistE _ _ _ (ExistI A B a b) d = d a b ; -- Hypo and Pron are identities Hypo _ a = a ; |