Working version of TaskAnalysis without using DOTVistor.visit()...

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / FlagState.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/FlagState.java b/Robust/src/Analysis/TaskStateAnalysis/FlagState.java
index a34c1fb206e389e658407fa39227e7c314d38437..74dab1cb521bd6177f5caf6d51999706e47181be 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/FlagState.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/FlagState.java
@@ -272,7 +272,7 @@ public class FlagState {
                          output.println("\tremincross=true;");*/
             output.println("\tnode [fontsize=10,height=\"0.1\", width=\"0.1\"];");
             output.println("\tedge [fontsize=6];");
-            //traverse();
+            traverse();
             output.println("}\n");
         }