From 1cf78add02701b2c6ac656e360b7c25531b4db92 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Wed, 11 May 2022 16:17:07 -0700
Subject: [PATCH] Revert "Revert "Unconditionally simplify trivial let""

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

diff --git a/src/Simplify.ml b/src/Simplify.ml
index 1301f7003..2565c04fb 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