fix the encoding in CatBul.gf

This commit is contained in:
kr.angelov
2013-12-04 08:20:02 +00:00
parent 996e0141e2
commit 4d625c7ba5

View File

@@ -1,9 +1,6 @@
--# -coding=cp1251
--# -coding=utf8
concrete CatBul of Cat = CommonX - [IAdv,CAdv] ** open ResBul, Prelude, Predef, (R = ParamX) in {
flags
coding=cp1251; optimize=all_subs;
lincat
-- Tensed/Untensed