bug fix for false automa

whitemech · Sep 24, 2018 · 7c8d249 · 7c8d249
1 parent 06ab237
commit 7c8d249
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ltlf2dfa/DotHandler.py b/ltlf2dfa/DotHandler.py
@@ -20,6 +20,9 @@ def modify_dot(self):
                 graph.delete_edge('init', '0')
                 graph.delete_edge('0', '1')
                 graph.add_edge('init', '1')
+            else:
+                graph.delete_edge('init', '0')
+                graph.add_edge('init', '0')
             self.new_digraph = graph
         else:
             print('[ERROR] - No file DOT exists')