From 7c8d2499bfe1302f897aa48ea3acd7f2e3f47780 Mon Sep 17 00:00:00 2001
From: Francesco Fuggitti <francesco.fuggitti@gmail.com>
Date: Mon, 24 Sep 2018 18:49:40 +0200
Subject: [PATCH] bug fix for false automa

---
 ltlf2dfa/DotHandler.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ltlf2dfa/DotHandler.py b/ltlf2dfa/DotHandler.py
index 9fa5974..d1cdcb4 100644
--- 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')