From: bdemsky <bdemsky>
Date: Tue, 22 May 2007 07:11:32 +0000 (+0000)
Subject: don't rotate graph
X-Git-Tag: preEdgeChange~571
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=38b81bcd291303a43df41aec8380639faa9d1c87;p=IRC.git

don't rotate graph
---

diff --git a/Robust/src/Util/GraphNode.java b/Robust/src/Util/GraphNode.java
index d20e6b35..154ae591 100755
--- a/Robust/src/Util/GraphNode.java
+++ b/Robust/src/Util/GraphNode.java
@@ -184,7 +184,6 @@ public class GraphNode {
 
         private void make() {
             output.println("digraph dotvisitor {");
-            output.println("\trotate=90;");
 	    /*            output.println("\tpage=\"8.5,11\";");
 			  output.println("\tnslimit=1000.0;");
 			  output.println("\tnslimit1=1000.0;");