From 229a9881fa26dce69b81524445045e7b1efcc6fc Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 20:54:47 +0100
Subject: Fix a minor issue

---
 src/InterpreterPaths.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src')

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 []
-- 
cgit v1.2.3