diff options
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 [] |