diff options
| author | aarne <aarne@chalmers.se> | 2010-03-24 08:18:54 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-24 08:18:54 +0000 |
| commit | 3ff870dcd652b793f359a661112f4af3ccd0bedd (patch) | |
| tree | 3a07aceb6392696cbf003e928f45a4d1005a8090 /examples/phrasebook/Greetings.gf | |
| parent | 68482aa7e9882ab8d65fb5fe261efc0e807f6dfd (diff) | |
politeness and disambiguation in Phrasebook (not visible yet)
Diffstat (limited to 'examples/phrasebook/Greetings.gf')
| -rw-r--r-- | examples/phrasebook/Greetings.gf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/phrasebook/Greetings.gf b/examples/phrasebook/Greetings.gf index de7c6f064..11d0f9cc1 100644 --- a/examples/phrasebook/Greetings.gf +++ b/examples/phrasebook/Greetings.gf @@ -2,7 +2,6 @@ abstract Greetings = { cat Greeting ; - Politeness ; fun GHello : Greeting ; |