diff --git a/lib/src/dutch/AllDut.gf b/lib/src/dutch/AllDut.gf index 5397513f8..adc79c0f0 100644 --- a/lib/src/dutch/AllDut.gf +++ b/lib/src/dutch/AllDut.gf @@ -1,4 +1,4 @@ ---# -path=.:../abstract:../common:prelude +--# -path=.:../abstract:../common:../api concrete AllDut of AllDutAbs = LangDut,