From b5fcc7e590ef34baa1079b03f2f2ccf4bc450c22 Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Thu, 7 Feb 2013 16:24:45 +0100
Subject: [PATCH] Also, deleted the output.dot file...

---
 test/parser/output.dot | 35 -----------------------------------
 1 file changed, 35 deletions(-)
 delete mode 100644 test/parser/output.dot

diff --git a/test/parser/output.dot b/test/parser/output.dot
deleted file mode 100644
index 7e0e80061..000000000
--- a/test/parser/output.dot
+++ /dev/null
@@ -1,35 +0,0 @@
-digraph dtmc {
-	1[label="1\n{ phi }"];
-	2[label="2\n{ phi }"];
-	3[label="3\n{ phi }"];
-	4[label="4\n{ smth }"];
-	5[label="5\n{ phi,smth }"];
-	6[label="6\n{ psi }"];
-	7[label="7\n{ phi,psi }"];
-	8[label="8\n{ phi,psi }"];
-	9[label="9\n{ phi }"];
-	10[label="10\n{ phi }"];
-	11[label="11\n{ phi }"];
-	0 -> 0 [label=1]
-	1 -> 3 [label=0.5]
-	1 -> 4 [label=0.5]
-	2 -> 1 [label=0.3]
-	2 -> 7 [label=0.7]
-	3 -> 2 [label=0.05]
-	3 -> 3 [label=0.7]
-	3 -> 6 [label=0.05]
-	3 -> 8 [label=0.2]
-	4 -> 1 [label=0.3]
-	4 -> 5 [label=0.3]
-	4 -> 6 [label=0.4]
-	5 -> 4 [label=1]
-	6 -> 7 [label=1]
-	7 -> 2 [label=0.2]
-	7 -> 6 [label=0.8]
-	8 -> 9 [label=1]
-	9 -> 8 [label=0.3]
-	9 -> 9 [label=0.7]
-	10 -> 4 [label=1]
-	11 -> 5 [label=0.7]
-	11 -> 9 [label=0.3]
-}