don't rotate graph

diff --git a/Robust/src/Util/GraphNode.java b/Robust/src/Util/GraphNode.java
index d20e6b353bb36b303d3801352623b1d543645695..154ae59135b7bc4a40ffbf931486dedba61ee7dc 100755 (executable)
--- 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;");