summaryrefslogtreecommitdiff
path: root/next-lib/src/abstract
diff options
context:
space:
mode:
Diffstat (limited to 'next-lib/src/abstract')
-rw-r--r--next-lib/src/abstract/Extra.gf2
1 files changed, 1 insertions, 1 deletions
diff --git a/next-lib/src/abstract/Extra.gf b/next-lib/src/abstract/Extra.gf
index b0601019f..fe893d958 100644
--- a/next-lib/src/abstract/Extra.gf
+++ b/next-lib/src/abstract/Extra.gf
@@ -11,7 +11,7 @@ abstract Extra = Cat ** {
ComplBareVS : VS -> S -> VP ; -- know you go
StrandRelSlash : RP -> ClSlash -> RCl ; -- that he lives in
- EmptyRelSlash : RP -> ClSlash -> RCl ; -- he lives in
+ EmptyRelSlash : ClSlash -> RCl ; -- he lives in
StrandQuestSlash : IP -> ClSlash -> QCl ; -- whom does John live with
-- $VP$ conjunction, which has different fragments implemented in