From 2f68128323462c0488dfc98c09dbc615c1ca9cf1 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 19 Dec 2006 16:32:15 +0000 Subject: partial application in overload resolution, with priority for full app --- examples/logic/LogicI.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples') diff --git a/examples/logic/LogicI.gf b/examples/logic/LogicI.gf index 09ffe661d..f8eaf6aa2 100644 --- a/examples/logic/LogicI.gf +++ b/examples/logic/LogicI.gf @@ -18,7 +18,7 @@ lincat lin ThmWithProof = theorem ; - Conj A B = coord and_Conj A B ; + Conj A = coord and_Conj A ; Disj A B = coord or_Conj A B ; Impl A B = coord ifthen_DConj A B ; -- cgit v1.2.3