diff options
Diffstat (limited to 'src/Values.ml')
-rw-r--r-- | src/Values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml index 5c31feef..2c80cfe9 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -14,7 +14,7 @@ module RegionId = IdGen () type var = { index : VarId.id; (** Unique variable identifier *) name : string option; - ty : ety; + var_ty : ety; (** The variable type - erased type, because variables are not used ** in function signatures *) } |