Remove commented out code

goblint · Oct 10, 2024 · 13bcf34 · 13bcf34
1 parent 881532d
commit 13bcf34
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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