diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index d63f836..4579a4b 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -865,6 +865,7 @@ cNonRecursiveAppl :== False | TVI_Used /* to administer that this variable is encountered (in checkOpenTypes) */ | TVI_TypeCode !TypeCodeExpression | TVI_CPSLocalTypeVar !Int /* MdM - the index of the variable as generated by the theorem prover */ + | TVI_Normalized !Int /* MV - position of type variable in its definition */ :: TypeVarInfoPtr :== Ptr TypeVarInfo :: TypeVarHeap :== Heap TypeVarInfo |