diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-24 14:46:46 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-24 14:46:46 +0200 |
| commit | 1d010bd59bc5cf100310b285c743ae27f921b681 (patch) | |
| tree | 6b237e9973309ba0f982f4f718099e7b58c0b38d /lib/automata.py | |
| parent | 6825ac2877635bb055de46c7115ed8ab471560ad (diff) | |
pylint
Diffstat (limited to 'lib/automata.py')
| -rwxr-xr-x | lib/automata.py | 1 |
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']) |