diff options
Diffstat (limited to 'next-lib/src/common')
| -rw-r--r-- | next-lib/src/common/CommonX.gf | 2 | ||||
| -rw-r--r-- | next-lib/src/common/ConstructX.gf | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/next-lib/src/common/CommonX.gf b/next-lib/src/common/CommonX.gf index 9401e1ea5..5dcd7ce15 100644 --- a/next-lib/src/common/CommonX.gf +++ b/next-lib/src/common/CommonX.gf @@ -11,7 +11,7 @@ concrete CommonX of Common = open (R = ParamX) in { AdA = {s : Str} ; --lock_AdA : {}} ; AdN = {s : Str} ; --lock_AdN : {}} ; IAdv = {s : Str} ; --lock_IAdv : {}} ; - CAdv = {s : Str} ; --lock_CAdv : {}} ; + CAdv = {s,p : Str} ; --lock_CAdv : {}} ; PConj = {s : Str} ; --lock_PConj : {}} ; Temp = {s : Str ; t : R.Tense ; a : R.Anteriority} ; diff --git a/next-lib/src/common/ConstructX.gf b/next-lib/src/common/ConstructX.gf index ee4decf00..0c6de51ae 100644 --- a/next-lib/src/common/ConstructX.gf +++ b/next-lib/src/common/ConstructX.gf @@ -13,7 +13,7 @@ resource ConstructX = open CommonX in { mkAdA : Str -> AdA = \s -> {s = s ; lock_AdA = <>} ; mkAdN : Str -> AdN = \s -> {s = s ; lock_AdN = <>} ; mkIAdv : Str -> IAdv = \s -> {s = s ; lock_IAdv = <>} ; - mkCAdv : Str -> CAdv = \s -> {s = s ; lock_CAdv = <>} ; + mkCAdv : Str -> Str -> CAdv = \s,p -> {s = s ; p = p ; lock_CAdv = <>} ; mkPConj : Str -> PConj = \s -> {s = s ; lock_PConj = <>} ; } |