diff options
Diffstat (limited to 'examples/phrasebook/GreetingsEng.gf')
| -rw-r--r-- | examples/phrasebook/GreetingsEng.gf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/phrasebook/GreetingsEng.gf b/examples/phrasebook/GreetingsEng.gf index 6ed3ff947..5f3cc23e7 100644 --- a/examples/phrasebook/GreetingsEng.gf +++ b/examples/phrasebook/GreetingsEng.gf @@ -1,7 +1,7 @@ -concrete GreetingsEng of Greetings = open Prelude in { +concrete GreetingsEng of Greetings = open Roles, Prelude in { lincat - Greeting, Politeness = SS ; + Greeting = SS ; lin GHello = ss "hello" ; |