Remove unnecessary change

Signed-off-by: Tianrui Zheng <[email protected]>
hernanponcedeleon · Nov 27, 2024 · 107e5fc · 107e5fc
1 parent b671fe6
commit 107e5fc
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/witness/graphviz/ExecutionGraphVisualizer.java b/dartagnan/src/main/java/com/dat3m/dartagnan/witness/graphviz/ExecutionGraphVisualizer.java
@@ -239,12 +239,12 @@ public static File generateGraphvizFile(ExecutionModelNext model, int iterationC
         fileVio.getParentFile().mkdirs();
         try (FileWriter writer = new FileWriter(fileVio)) {
             // Create .dot file
-            ExecutionGraphVisualizer visualizer = new ExecutionGraphVisualizer();
-            visualizer.setSyntacticContext(synContext)
-                      .setReadFromFilter(rfFilter)
-                      .setFromReadFilter(frFilter)
-                      .setCoherenceFilter(coFilter)
-                      .generateGraphOfExecutionModel(writer, "Iteration " + iterationCount, model);
+            new ExecutionGraphVisualizer()
+                    .setSyntacticContext(synContext)
+                    .setReadFromFilter(rfFilter)
+                    .setFromReadFilter(frFilter)
+                    .setCoherenceFilter(coFilter)
+                    .generateGraphOfExecutionModel(writer, "Iteration " + iterationCount, model);
 
             writer.flush();
             if (convert) {