diff --git a/src/V3Graph.cpp b/src/V3Graph.cpp
index e2e9b9762..823e171ce 100644
--- a/src/V3Graph.cpp
+++ b/src/V3Graph.cpp
@@ -346,5 +346,5 @@ void V3Graph::dumpDotFile(const string& filename, bool colorAsSubgraph) {
     *logp << "}\n";
     logp->close();
 
-    cout << "dot -Tps -o ~/a.ps "<<filename<<endl;
+    cout << "dot -Tpdf -o ~/a.pdf "<<filename<<endl;
 }