diff options
Diffstat (limited to 'examples/phrasebook/PhrasebookDut.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookDut.gf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/examples/phrasebook/PhrasebookDut.gf b/examples/phrasebook/PhrasebookDut.gf index fb1cae33d..c8b4fd969 100644 --- a/examples/phrasebook/PhrasebookDut.gf +++ b/examples/phrasebook/PhrasebookDut.gf @@ -6,7 +6,5 @@ concrete PhrasebookDut of Phrasebook = SyntaxDut, Prelude in { -lin - PGreeting g = lin Text (ss g.s) ; } |