From 556876bc68e614d530f4ea9ed737af200f13cdd3 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 26 Jan 2017 15:34:30 +0000
Subject: remove dead code in getBase/getTop

---
 cheri/cheri_prelude_128.sail | 2 --
 1 file changed, 2 deletions(-)

diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail
index 221b4c0a..ba2d9186 100644
--- a/cheri/cheri_prelude_128.sail
+++ b/cheri/cheri_prelude_128.sail
@@ -185,7 +185,6 @@ function int a_top_correction((bit[20]) a_mid, (bit[20]) R, (bit[20]) bound) =
 
 function bit[64] getCapBase((CapStruct) c)  = 
     let ([|63|])  E = min(unsigned(c.E), 45) in
-    let (bool)    s = c.sealed in
     let (bit[20]) B = c.B in
     let (bit[64]) a = c.address in
     let (bit[20]) R = B - 0x00100 in (* wraps *)
@@ -197,7 +196,6 @@ function bit[64] getCapBase((CapStruct) c)  =
 
 function bit[65] getCapTop((CapStruct) c)  = 
     let ([|63|])  E = min(unsigned(c.E), 45) in
-    let (bool)    s = c.sealed in
     let (bit[20]) B = c.B in
     let (bit[20]) T = c.T in
     let (bit[64]) a = c.address  in
-- 
cgit v1.2.3