aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xparse.py4
1 files changed, 1 insertions, 3 deletions
diff --git a/parse.py b/parse.py
index 29f6062..9677ed6 100755
--- a/parse.py
+++ b/parse.py
@@ -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)