diff options
Diffstat (limited to 'next-lib/src/common/ConstructX.gf')
| -rw-r--r-- | next-lib/src/common/ConstructX.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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 = <>} ; } |