diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/syntax.dcl | 1 | ||||
| -rw-r--r-- | frontend/syntax.icl | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 55bb2b2..b2f77dc 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -789,7 +789,6 @@ cNonRecursiveAppl :== False | TVI_Used /* to administer that this variable is encountered (in checkOpenTypes) */ // | TVI_Clean !Int /* to keep the unique number that has been assigned to this variable during 'clean_up' */ | TVI_TypeCode !TypeCodeExpression - | TVI_FreshTypeVar TypeVar /* auxiliary used during fusion */ :: TypeVarInfoPtr :== Ptr TypeVarInfo :: TypeVarHeap :== Heap TypeVarInfo diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 53833e9..fe0044b 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -749,7 +749,6 @@ cNotVarNumber :== -1 | TVI_AType !AType /* auxiliary used in module comparedefimp */ | TVI_Used /* to adminster that this variable is encountered (in checkOpenTypes) */ | TVI_TypeCode !TypeCodeExpression - | TVI_FreshTypeVar TypeVar /* auxiliary used during fusion */ :: TypeVarInfoPtr :== Ptr TypeVarInfo :: TypeVarHeap :== Heap TypeVarInfo |