From 13bcf346fb15758de54947e13bfdd747e430d289 Mon Sep 17 00:00:00 2001
From: Karoliine Holter <karoliine.holter@hotmail.com>
Date: Thu, 10 Oct 2024 12:02:13 +0300
Subject: [PATCH] Remove commented out code

---
 src/util/loopUnrolling.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
index 5739fd70e5..39e17d14d7 100644
--- a/src/util/loopUnrolling.ml
+++ b/src/util/loopUnrolling.ml
@@ -164,7 +164,6 @@ let constBefore var loop f =
             else
               current
           in
-          (* let current' = current in *)
           match st.skind with
           | Instr list -> (
               match lastAssignToVar var list with