diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-12-19 16:32:15 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-12-19 16:32:15 +0000 |
| commit | 2f68128323462c0488dfc98c09dbc615c1ca9cf1 (patch) | |
| tree | 2a272393ec285d13667e3968b53fc47b20ab4731 /examples/logic | |
| parent | d0b392e318f442807d10e6adf80a85df33b529d7 (diff) | |
partial application in overload resolution, with priority for full app
Diffstat (limited to 'examples/logic')
| -rw-r--r-- | examples/logic/LogicI.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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 ; |