From afa8ee44bfe3cae76a17ea73bd3970f9b80cbc1c Mon Sep 17 00:00:00 2001
From: Denis Merigoux <denis.merigoux@gmail.com>
Date: Thu, 1 Feb 2024 17:23:31 +0100
Subject: [PATCH] Delete duplicate code from 9d3550374db71f34db

---
 compiler/lcalc/monomorphize.ml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/compiler/lcalc/monomorphize.ml b/compiler/lcalc/monomorphize.ml
index 33d8976f..bf89104c 100644
--- a/compiler/lcalc/monomorphize.ml
+++ b/compiler/lcalc/monomorphize.ml
@@ -255,12 +255,6 @@ let rec monomorphize_expr
     let new_cases =
       match new_cases with
       | [(n1, e1); (n2, e2)] -> (
-        let is_some c =
-          EnumConstructor.equal Expr.some_constr c
-          ||
-          (assert (EnumConstructor.equal Expr.none_constr c);
-           false)
-        in
         match is_some n1, is_some n2 with
         | true, false ->
           [option_instance.some_cons, e1; option_instance.none_cons, e2]