diff options
| author | Son Ho | 2022-02-08 20:54:47 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 20:54:47 +0100 |
| commit | 229a9881fa26dce69b81524445045e7b1efcc6fc (patch) | |
| tree | a81c392a4d9d5be14325a241067b1c02905dec4c /src | |
| parent | a306c82c8e1e25b9a5108dcbed94b02c868f9c24 (diff) | |
Fix a minor issue
Diffstat (limited to '')
| -rw-r--r-- | src/InterpreterPaths.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/InterpreterPaths.ml b/src/InterpreterPaths.ml index 281e7634..f0fb3333 100644 --- a/src/InterpreterPaths.ml +++ b/src/InterpreterPaths.ml @@ -375,7 +375,6 @@ let compute_expanded_bottom_option_value (variant_id : T.VariantId.id) (param_ty : T.ety) : V.typed_value = (* Note that the variant can be `Some` or `None`: we expand bottom values * when writing to fields or setting discriminants *) - assert (variant_id = T.option_some_id); let field_values = if variant_id = T.option_some_id then [ mk_bottom param_ty ] else if variant_id = T.option_none_id then [] |