improve printing

bjjwwang · Oct 31, 2024 · c1f6cf7 · c1f6cf7
1 parent d239128
commit c1f6cf7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/svf/include/Graphs/GraphPrinter.h b/svf/include/Graphs/GraphPrinter.h
@@ -66,7 +66,7 @@ class GraphPrinter
             return;
         }
 
-        O << "Writing '" << Filename << "'...";
+        O << "Writing '" << Filename << "'...\n";
 
         WriteGraph(outFile, GT, simple);
         outFile.close();