From 1d010bd59bc5cf100310b285c743ae27f921b681 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Wed, 24 Jul 2019 14:46:46 +0200
Subject: pylint

---
 lib/automata.py | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/automata.py')

diff --git a/lib/automata.py b/lib/automata.py
index e8d9af5..d9a722b 100755
--- a/lib/automata.py
+++ b/lib/automata.py
@@ -396,7 +396,6 @@ class PTA:
             arguments = list()
             argument_values = list()
             arg_to_param_map = dict()
-            is_interrupt = False
             if 'arguments' in transition:
                 for i, argument in enumerate(transition['arguments']):
                     arguments.append(argument['name'])
-- 
cgit v1.2.3