Internals: Rename to dumpLevel(), to avoid confusion with make-a-dump()

This commit is contained in:
Wilson Snyder
2023-05-03 18:04:10 -04:00
parent d9b5680a45
commit add68130b8
78 changed files with 153 additions and 155 deletions
+1 -1
View File
@@ -37,7 +37,7 @@ protected:
// Utilities
void dumpSelf() {
if (dumpGraph() >= 9) m_graph.dumpDotFilePrefixed("v3graphtest_" + name());
if (dumpGraphLevel() >= 9) m_graph.dumpDotFilePrefixed("v3graphtest_" + name());
}
public: