Unconditionally simplify trivial let

FStarLang · May 4, 2022 · e769065 · e769065
1 parent fc64e65
commit e769065
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; _ }) when Helpers.is_readonly_c_expression e1 ->
+    | ELet (_, e1, { node = EBound 0; _ }) ->
         e1.node
     | _ ->
         e