diff options
Diffstat (limited to 'examples/logic/Prooftext.gf')
| -rw-r--r-- | examples/logic/Prooftext.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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 } ; |