start of new file

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
index ef6e25fc2cce25e849fa1c5684e580161f40ecae..9046e2d7ad748fab8c3f4821ce5884e5592fd6ad 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
@@ -116,7 +116,7 @@ public class ExecutionGraph {
        Set s = (Set)executiongraph.get(cd);
        java.io.PrintWriter output;
        File dotfile_flagstates= new File("execution"+cd.getSymbol()+".dot");
-       FileOutputStream dotstream=new FileOutputStream(dotfile_flagstates,true);
+       FileOutputStream dotstream=new FileOutputStream(dotfile_flagstates,false);
        output = new java.io.PrintWriter(dotstream, true);
        output.println("digraph dotvisitor {");
        output.println("\tnode [fontsize=10,height=\"0.1\", width=\"0.1\"];");