comparative adverbs generalized to cover more of Attempto

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 = <>} ;
 
 }