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 c30348f..06f2cdb 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -984,7 +984,6 @@ cNonRecursiveAppl :== False | TA_Anonymous | TA_None | TA_List !Int !TypeAttribute | TA_Locked !TypeAttribute | TA_MultiOfPropagatingConsVar // only filled in after type checking, semantically equal to TA_Multi - | TA_PA_BUG :: AttributeVar = { av_ident :: !Ident |