diff options
Diffstat (limited to 'src/Expressions.ml')
| -rw-r--r-- | src/Expressions.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 199184ed..a118ca67 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -2,7 +2,7 @@ open Types open Values type field_proj_kind = - | ProjAdt of TypeDefId.id * VariantId.id option + | ProjAdt of TypeDeclId.id * VariantId.id option | ProjOption of VariantId.id (** Option is an assumed type, coming from the standard library *) | ProjTuple of int @@ -119,7 +119,7 @@ type operand = type aggregate_kind = | AggregatedTuple | AggregatedAdt of - TypeDefId.id * VariantId.id option * erased_region list * ety list + TypeDeclId.id * VariantId.id option * erased_region list * ety list [@@deriving show] (* TODO: move the aggregate kind to operands *) |