diff options
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 ; - } |