Undo eta expansion

Co-authored-by: Simmo Saan <simmo.saan@gmail.com>
goblint · Feb 19, 2025 · 4e04c20 · 4e04c20
1 parent 41730e0
commit 4e04c20
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/common/framework/cfgTools.ml b/src/common/framework/cfgTools.ml
@@ -432,9 +432,7 @@ let createCFG (file: file) =
                   List.iter (fun (fromNode, toNode) ->
                       addEdge_fromLoc fromNode (Test (one, false)) toNode;
                       added_connect := true;
-                      Option.iter (fun toNode_scc ->
-                          iter_scc toNode_scc (* continue to target scc as normally, to ensure they are also connected *)
-                        ) (NH.find_option node_scc toNode)
+                      Option.iter iter_scc (NH.find_option node_scc toNode) (* continue to target scc as normally, to ensure they are also connected *)
                       (* otherwise pseudo return, wasn't in scc, but is fine *)
                     ) targets
                 )