aboutsummaryrefslogtreecommitdiff
path: root/parse.py
diff options
context:
space:
mode:
Diffstat (limited to 'parse.py')
-rwxr-xr-xparse.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/parse.py b/parse.py
index da35d85..17cd5a2 100755
--- a/parse.py
+++ b/parse.py
@@ -508,7 +508,7 @@ def create_inst_dict(file_filter, include_pseudo=False, include_pseudo_ops=[]):
def make_priv_latex_table():
latex_file = open("priv-instr-table.tex", "w")
type_list = ["R-type", "I-type"]
- system_instr = ["_h", "_s", "_system", "_svinval", "64_h", "svinval_h"]
+ system_instr = ["_h", "_s", "_system", "_svinval", "64_h", "_svinval_h"]
dataset_list = [(system_instr, "Trap-Return Instructions", ["sret", "mret"], False)]
dataset_list.append(
(system_instr, "Interrupt-Management Instructions", ["wfi"], False)