more changes

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java
index 8cb134968b4202dd16397e0787466674fd275c70..241a70e06614ff84167ecd162ee543b3a460dc85 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java
@@ -514,7 +514,7 @@ public class SafetyAnalysis {
     private void createDOTFile(String classname, Collection v) throws java.io.IOException {
        java.io.PrintWriter output;
        File dotfile_flagstates= new File("markedgraph_"+classname+".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\"];");