diff --git a/src/romanian/AllRon.gf b/src/romanian/AllRon.gf index 15d5c451d..041d8a927 100644 --- a/src/romanian/AllRon.gf +++ b/src/romanian/AllRon.gf @@ -1,3 +1,4 @@ +--# -no-pmcfg --# -path=.:../abstract:../common:../prelude concrete AllRon of AllRonAbs = diff --git a/src/romanian/LangRon.gf b/src/romanian/LangRon.gf index 304b0c87d..87b747502 100644 --- a/src/romanian/LangRon.gf +++ b/src/romanian/LangRon.gf @@ -1,3 +1,4 @@ +--# -no-pmcfg --# -path=.:../abstract:../common:../prelude concrete LangRon of Lang =