diff options
Diffstat (limited to 'frontend/syntax.icl')
| -rw-r--r-- | frontend/syntax.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 643fbd3..2fb4020 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -439,7 +439,8 @@ cIsALocalVar :== False VI_Body !SymbIdent !TransformedBody ![FreeVar] | /* used during fusion */ VI_Dictionary !SymbIdent ![Expression] !Type | /* used during fusion */ VI_Extended !ExtendedVarInfo !VarInfo | - VI_Defined /* for marking type code variables during overloading */ | VI_LocallyDefined + VI_Defined /* for marking type code variables during overloading */ | VI_LocallyDefined | + VI_TheoremProverVariable !Int !Int /* MdM - first int is kind (0:parameter;1:case;2:let), second its index */ :: ExtendedVarInfo = EVI_VarType !AType |