(Dut) Update ExtensionsDut and TranslateDut

This commit is contained in:
Inari Listenmaa
2018-06-05 14:20:09 +02:00
parent 0eea611a8b
commit 5e4d2e654d
2 changed files with 23 additions and 27 deletions
+1 -1
View File
@@ -30,7 +30,7 @@ concrete TranslateDut of Translate =
, WithoutVP, InOrderToVP, ByVP
],
DictionaryDut **
open ResDut, ParadigmsDut, SyntaxDut, (E = ExtraDut), Prelude in {
open ResDut, ParadigmsDut, SyntaxDut, (E = ExtendDut), Prelude in {
flags
literal=Symb ;