diff options
Diffstat (limited to 'scripts/gen-s-parser.py')
| -rwxr-xr-x | scripts/gen-s-parser.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/gen-s-parser.py b/scripts/gen-s-parser.py index 78637991b..029fe2b0e 100755 --- a/scripts/gen-s-parser.py +++ b/scripts/gen-s-parser.py @@ -712,6 +712,9 @@ def instruction_parser(new_parser=False): trie = Node() inst_length = 0 for inst, expr in instructions: + if new_parser and inst in {"then", "else"}: + # These are not real instructions! skip them. + continue inst_length = max(inst_length, len(inst)) trie.insert(inst, expr) |