summaryrefslogtreecommitdiff
path: root/examples/phrasebook/PhrasebookRon.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-03-30 18:48:59 +0000
committeraarne <aarne@chalmers.se>2010-03-30 18:48:59 +0000
commit5cb147fa19fdd348a24bc9d90fc8b5a6041530d8 (patch)
tree73a42a9aa38df413443e2a8a730e8e669f70604d /examples/phrasebook/PhrasebookRon.gf
parentde909a4e44419562ca4ba071e15cf9b8e00288be (diff)
simplified the treatment of politeness in Phrasebook
Diffstat (limited to 'examples/phrasebook/PhrasebookRon.gf')
-rw-r--r--examples/phrasebook/PhrasebookRon.gf2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/phrasebook/PhrasebookRon.gf b/examples/phrasebook/PhrasebookRon.gf
index afb8d9ba8..ccf531634 100644
--- a/examples/phrasebook/PhrasebookRon.gf
+++ b/examples/phrasebook/PhrasebookRon.gf
@@ -8,6 +8,6 @@ concrete PhrasebookRon of Phrasebook =
Prelude in {
lin
- PGreeting p g = mkText (lin Text (ss g.s)) (lin Text (ss p.s)) ;
+ PGreeting g = lin Text (ss g.s) ;
}