diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index af12d3d..d1142ed 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -964,7 +964,7 @@ cNonRecursiveAppl :== False | TVI_TypeVar !TypeVarInfoPtr // Sjaak: to collect and check universally quantified type variables | TVI_Forward !TempVarId | TVI_TypeKind !KindInfoPtr | TVI_SignClass !Index !SignClassification !TypeVarInfo | TVI_PropClass !Index !PropClassification !TypeVarInfo - | TVI_Attribute TypeAttribute + | TVI_AttrAndRefCount !TypeAttribute !Int | TVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */ | TVI_AType !AType /* auxiliary used in module comparedefimp */ | TVI_Used /* to administer that this variable is encountered (in checkOpenTypes) */ |