diff options
Diffstat (limited to 'src/ValuesUtils.ml')
| -rw-r--r-- | src/ValuesUtils.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ValuesUtils.ml b/src/ValuesUtils.ml index 3fd04b56..488de15d 100644 --- a/src/ValuesUtils.ml +++ b/src/ValuesUtils.ml @@ -2,6 +2,7 @@ module T = Types open TypesUtils open Values -let mk_unit_value : typed_value = { value = Tuple []; ty = mk_unit_ty } +let mk_unit_value : typed_value = + { value = Adt { variant_id = None; field_values = [] }; ty = mk_unit_ty } let mk_typed_value (ty : T.ety) (value : value) : typed_value = { value; ty } |