rename TPasseSimple to TPastSimple in Extend

This commit is contained in:
Krasimir Angelov
2023-10-10 13:57:12 +02:00
parent 140b59dd70
commit 9570ff202a
6 changed files with 6 additions and 6 deletions

View File

@@ -278,7 +278,7 @@ incomplete concrete ExtendRomanceFunctor of Extend =
UttDatIP ip = UttAccIP (lin IP ip) ; -- whom (dative) ; DEFAULT who
UttVPShort = UttVP ;
TPasseSimple = {s = []} ** {t = RPasse} ; --# notpresent
TPastSimple = {s = []} ** {t = RPasse} ; --# notpresent
oper
quoted : Str -> Str = \s -> "\"" ++ s ++ "\"" ; ---- TODO bind ; move to Prelude?