Merge pull request #264 from 857b/trivial-let-elim

Simplify all trivial let-bindings
FStarLang · May 5, 2022 · 8f67a79 · 8f67a79
2 parents 1a496be + e769065
commit 8f67a79
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