Commented out faulty coding flag

FoodsIce.gf contained coding=utf8, but the file is in the latin1 encoding. This confused GF.
2010-04-20 13:54:10 +00:00
parent 96c17ee25f
commit 7f9fc7f095
1 changed files with 1 additions and 2 deletions
--- a/contrib/summerschool/foods/FoodsIce.gf
+++ b/contrib/summerschool/foods/FoodsIce.gf
@@ -4,8 +4,7 @@

 concrete FoodsIce of Foods = open Prelude in {

-  flags
-    coding=utf8;
+--flags coding=utf8;

  lincat
    Comment = SS ;