diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Expressions.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 0246530b..d5219678 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -69,7 +69,8 @@ type operand = type aggregate_kind = | AggregatedTuple - | AggregatedAdt of TypeDefId.id * VariantId.id option + | AggregatedAdt of + TypeDefId.id * VariantId.id option * erased_region list * ety list type rvalue = | Use of operand |