diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/syntax.dcl | 3 | ||||
| -rw-r--r-- | frontend/syntax.icl | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 107a1f3..d4253bd 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -884,7 +884,8 @@ cNonRecursiveAppl :== False | AVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */ | AVI_Used | AVI_Count !Int /* auxiliary used in module typesupport */ - + | AVI_SequenceNumber !Int // RWS + :: AttrVarInfoPtr :== Ptr AttrVarInfo :: AttrVarHeap :== Heap AttrVarInfo diff --git a/frontend/syntax.icl b/frontend/syntax.icl index f6900f9..be57141 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -857,7 +857,7 @@ cNotVarNumber :== -1 | AVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */ | AVI_Used | AVI_Count !Int /* auxiliary used in module typesupport */ - + | AVI_SequenceNumber !Int // RWS :: AttrVarInfoPtr :== Ptr AttrVarInfo :: AttrVarHeap :== Heap AttrVarInfo |