1 files changed, 0 insertions, 1 deletions
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'])