diff options
| author | aarne <aarne@chalmers.se> | 2010-12-07 12:32:57 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-07 12:32:57 +0000 |
| commit | e8adb69e3de69dba87beb59279365ecadee22085 (patch) | |
| tree | c49cd5831dae69104c3b08c900165f4ccf391a5e /examples/phrasebook/PhrasebookDut.gf | |
| parent | cb0a1ede4552120da60b92d92051319e7c64b3b1 (diff) | |
slight refactoring of Phrasebook, with less start words
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) ; } |