diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/Expressions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Expressions.ml b/compiler/Expressions.ml index e2eaf1e7..1fca7284 100644 --- a/compiler/Expressions.ml +++ b/compiler/Expressions.ml @@ -75,7 +75,7 @@ let all_binops = type operand = | Copy of place | Move of place - | Constant of ety * constant_value + | Constant of ety * primitive_value [@@deriving show] (** An aggregated ADT. |