fixed more warnings in Turkish

This commit is contained in:
Krasimir Angelov
2017-08-20 15:52:26 +02:00
parent d0c7531dfa
commit 24cb6acd53
2 changed files with 14 additions and 18 deletions
+1 -1
View File
@@ -63,5 +63,5 @@ resource ResTur = ParamX ** open Prelude, Predef, HarmonyTur in {
--Prep
no_Prep = mkPrep [] Acc;
mkPrep : Str -> Case -> {s : Str; c : Case} = \s,c -> {s=s; c=c};
mkPrep : Str -> Case -> {s : Str; c : Case; lock_Prep : {}} = \s,c -> lin Prep {s=s; c=c};
}