diff options
| author | Jon French | 2018-07-10 16:35:18 +0100 |
|---|---|---|
| committer | Jon French | 2018-07-10 16:36:24 +0100 |
| commit | 115c33129aa7dc3f0f0f6232c8e5fd892c79eb87 (patch) | |
| tree | e0686037ef216c60e87e7b30a353ef03ecec2c7e /src | |
| parent | b34725b4d168984c505bb691735be96961499830 (diff) | |
fix constructor typo
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/sail2_instr_kinds.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/sail2_instr_kinds.lem b/src/lem_interp/sail2_instr_kinds.lem index 938b693d..3d238676 100644 --- a/src/lem_interp/sail2_instr_kinds.lem +++ b/src/lem_interp/sail2_instr_kinds.lem @@ -219,7 +219,7 @@ instance (Show instruction_kind) | IK_mem_read read_kind -> "IK_mem_read " ^ (show read_kind) | IK_mem_write write_kind -> "IK_mem_write " ^ (show write_kind) | IK_mem_rmw (r, w) -> "IK_mem_rmw " ^ (show r) ^ " " ^ (show w) - | IK_branch -> "IK_branch" + | IK_branch () -> "IK_branch" | IK_trans trans_kind -> "IK_trans " ^ (show trans_kind) | IK_simple () -> "IK_simple" end |