diff options
Diffstat (limited to 'examples/phrasebook/PhrasebookEng.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookEng.gf | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/phrasebook/PhrasebookEng.gf b/examples/phrasebook/PhrasebookEng.gf index 88feca11a..366fe90df 100644 --- a/examples/phrasebook/PhrasebookEng.gf +++ b/examples/phrasebook/PhrasebookEng.gf @@ -3,11 +3,10 @@ concrete PhrasebookEng of Phrasebook = GreetingsEng, WordsEng ** open - (R = Roles), SyntaxEng, Prelude in { lin - PGreeting p g = mkText (lin Text g) (lin Text (ss p.s)) ; + PGreeting g = lin Text g ; } |