diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index c9b468b..d82da23 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -268,7 +268,6 @@ cNameLocationDependent :== True , class_dictionary :: !DefinedSymbol , class_pos :: !Position , class_cons_vars :: !BITVECT - , class_arg_kinds :: ![TypeKind] // filled in in checkKindCorrectness phase } :: ClassDefInfos :== {# .{! [TypeKind]}} |