From e769065d1f18c6efa8dc628e25cfdaabd94294a5 Mon Sep 17 00:00:00 2001
From: Benjamin Bonneau <27144402+857b@users.noreply.github.com>
Date: Wed, 4 May 2022 13:26:36 +0200
Subject: [PATCH] Unconditionally simplify trivial let

---
 src/Simplify.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Simplify.ml b/src/Simplify.ml
index 5a7429fb4..72950f399 100644
--- a/src/Simplify.ml
+++ b/src/Simplify.ml
@@ -28,7 +28,7 @@ let count_and_remove_locals = object (self)
 
   method private remove_trivial_let e =
     match e with
-    | ELet (_, e1, { node = EBound 0; _ }) when Helpers.is_readonly_c_expression e1 ->
+    | ELet (_, e1, { node = EBound 0; _ }) ->
         e1.node
     | _ ->
         e