From 38b81bcd291303a43df41aec8380639faa9d1c87 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 22 May 2007 07:11:32 +0000
Subject: [PATCH] don't rotate graph

---
 Robust/src/Util/GraphNode.java | 1 -
 1 file changed, 1 deletion(-)

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;");
-- 
2.34.1