From 115c33129aa7dc3f0f0f6232c8e5fd892c79eb87 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 10 Jul 2018 16:35:18 +0100
Subject: fix constructor typo

---
 src/lem_interp/sail2_instr_kinds.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3