From 7f9fc7f09586d34b1752584b577c3e17dab316f1 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 20 Apr 2010 13:54:10 +0000
Subject: [PATCH] Commented out faulty coding flag

FoodsIce.gf contained coding=utf8, but the file is in the latin1 encoding. This
confused GF.
---
 contrib/summerschool/foods/FoodsIce.gf | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/contrib/summerschool/foods/FoodsIce.gf b/contrib/summerschool/foods/FoodsIce.gf
index f84dd55cd..9889d5da7 100644
--- 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 ;