From fd90fe0791961982570835582dc900627ee62cd5 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 21 Dec 2006 09:25:02 +0000
Subject: overload rules and their documentation

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

(limited to 'examples/logic/Prooftext.gf')

diff --git a/examples/logic/Prooftext.gf b/examples/logic/Prooftext.gf
index 4c193740a..1833d6308 100644
--- a/examples/logic/Prooftext.gf
+++ b/examples/logic/Prooftext.gf
@@ -55,7 +55,7 @@ oper
     proof : Decl -> Proof
       = \d -> d ;
     proof : Proof -> Proof -> Proof
-      = \p,q -> appendText p q ;
+      = appendText ;
     proof : Branching -> Proofs -> Proof
       = \b,ps -> mkText (mkPhr b) ps
     } ;
-- 
cgit v1.2.3