diff options
-rwxr-xr-x | parse.py | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -40,9 +40,7 @@ if __name__ == "__main__": extensions = [ext for ext in extensions if ext not in targets] print(f"Extensions selected : {extensions}") - include_pseudo = False - if "-pseudo" in sys.argv[1:]: - include_pseudo = True + include_pseudo = "-pseudo" in sys.argv[1:] instr_dict = create_inst_dict(extensions, include_pseudo) |