Update

boogie-org · Oct 23, 2024 · d760739 · d760739
1 parent 593340f
commit d760739
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/Source/VCGeneration/Splits/ManualSplitFinder.cs b/Source/VCGeneration/Splits/ManualSplitFinder.cs
@@ -32,10 +32,7 @@ public static IEnumerable<ManualSplit> GetParts(VCGenOptions options, Implementa
         return isolatedAssertions.Concat(splitParts);
       }).ToList();
       return resultForFocusPart;
-    }).Where(s => s.Asserts.Any()).Select(s => {
-      BlockTransformations.Optimize(s.Blocks);
-      return s;
-    }).ToList();
+    }).Where(s => s.Asserts.Any()).ToList();
 
     if (result.Any())
     {