From 0d83a7f890799d3ebee7229ea8d5c2c9681a27c2 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 28 Jul 2016 11:23:37 +0100
Subject: Complete another if statement with an empty else.

---
 cheri/cheri_insts.sail | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index b4b28c01..b084faa0 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -434,6 +434,8 @@ function clause execute (CCheckType(cs, cb)) =
     exit (raise_c2_exception(CapEx_SealViolation, cb))
   else if ((cs_val.otype) != (cb_val.otype)) then
     exit (raise_c2_exception(CapEx_TypeViolation, cs))
+  else
+    ()
   (* END_CCheckType *)
 }
 
-- 
cgit v1.2.3