diff options
| -rw-r--r-- | contrib/summerschool/foods/FoodsIce.gf | 3 |
1 files changed, 1 insertions, 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 ; |