From 7011d510c46475f87476c4241ec54e35c8a787f1 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 27 Jul 2016 16:27:25 +0100
Subject: Add final 'else' to CCheckPerms because Peter pointed out that it is
 better this way.

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

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 4b61318d..e9414547 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -407,6 +407,8 @@ function clause execute (CCheckPerm(cs, rt)) =
     exit (raise_c2_exception(CapEx_TagViolation, cs))
   else if ((cs_perms & rt_perms) != rt_perms) then
     exit (raise_c2_exception(CapEx_UserDefViolation, cs))
+  else
+    ()
   (* END_CCheckPerm *)
 }
 
-- 
cgit v1.2.3