diff --git a/resource/english/PredicEng.gf b/resource/english/PredicEng.gf index d90440c04..062d441d2 100644 --- a/resource/english/PredicEng.gf +++ b/resource/english/PredicEng.gf @@ -4,7 +4,7 @@ concrete PredicEng of Predic = CategoriesEng ** open Prelude, SyntaxEng, DeptypEng in { - flags optimize=all ; + flags optimize=all_subs ; lincat VType, CType = SS ;