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/Phrasebook.gf | |
| parent | cb0a1ede4552120da60b92d92051319e7c64b3b1 (diff) | |
slight refactoring of Phrasebook, with less start words
Diffstat (limited to 'examples/phrasebook/Phrasebook.gf')
| -rw-r--r-- | examples/phrasebook/Phrasebook.gf | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/examples/phrasebook/Phrasebook.gf b/examples/phrasebook/Phrasebook.gf index 6872a9ace..9ebc13106 100644 --- a/examples/phrasebook/Phrasebook.gf +++ b/examples/phrasebook/Phrasebook.gf @@ -5,7 +5,4 @@ abstract Phrasebook = flags startcat = Phrase ; -fun - PGreeting : Greeting -> Phrase ; - } |