From aed87223d1957f5e0e03d8161dd510f9c7faacd3 Mon Sep 17 00:00:00 2001 From: Herbert Lange Date: Thu, 27 Jun 2019 00:09:01 +0200 Subject: [PATCH] revert removal of voc from common which led to problems --- src/latin/CatLat.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/latin/CatLat.gf b/src/latin/CatLat.gf index a1ce8a5b..75ef094c 100644 --- a/src/latin/CatLat.gf +++ b/src/latin/CatLat.gf @@ -1,4 +1,4 @@ -concrete CatLat of Cat = CommonX-[Adv,Voc] ** open ResLat, ParamX, Prelude in { +concrete CatLat of Cat = CommonX-[Adv] ** open ResLat, ParamX, Prelude in { flags optimize=all_subs ;