From 33c8bf886e69fc27658346ed6ee5df43d30467b5 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sat, 5 May 2012 14:50:11 -0400
Subject: [PATCH] Debug: Assume PDF output for dot.

---
 src/V3Graph.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 }