summaryrefslogtreecommitdiff
path: root/examples/phrasebook/PhrasebookPol.gf
diff options
context:
space:
mode:
authoradam.slaski <adam.slaski@gmail.com>2010-05-26 22:34:20 +0000
committeradam.slaski <adam.slaski@gmail.com>2010-05-26 22:34:20 +0000
commitd6eb762651b4c945ff09d456f6fe088c7642507c (patch)
treef25d330fcfd3b01d68c9a2c1200a22cbf4e040c1 /examples/phrasebook/PhrasebookPol.gf
parent06d4a9241f6f56c7ed484552cc41e771ded3de28 (diff)
polish demo
Diffstat (limited to 'examples/phrasebook/PhrasebookPol.gf')
-rw-r--r--examples/phrasebook/PhrasebookPol.gf5
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/phrasebook/PhrasebookPol.gf b/examples/phrasebook/PhrasebookPol.gf
index 8b1c29dee..4a25c8caa 100644
--- a/examples/phrasebook/PhrasebookPol.gf
+++ b/examples/phrasebook/PhrasebookPol.gf
@@ -6,6 +6,11 @@ concrete PhrasebookPol of Phrasebook =
SyntaxPol,
Prelude in {
+flags
+ language = pl_PL ; optimize =values ; coding =utf8 ;
+
+
+
lin
PGreeting g = lin Text g ;