Revert "Unconditionally simplify trivial let"

This reverts commit e769065.
FStarLang · May 11, 2022 · bb5a50c · bb5a50c
1 parent 03db0ab
commit bb5a50c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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; _ }) ->
+    | ELet (_, e1, { node = EBound 0; _ }) when Helpers.is_readonly_c_expression e1 ->
         e1.node
     | _ ->
         e