diff options
Diffstat (limited to 'next-lib/src/abstract/Structural.gf')
| -rw-r--r-- | next-lib/src/abstract/Structural.gf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/next-lib/src/abstract/Structural.gf b/next-lib/src/abstract/Structural.gf index 57cb6453e..dbf9eb6c5 100644 --- a/next-lib/src/abstract/Structural.gf +++ b/next-lib/src/abstract/Structural.gf @@ -119,4 +119,5 @@ abstract Structural = Cat ** { as_CAdv : CAdv ; + have_V2 : V2 ; } |