Remove unused computation of sealed flag

CTSRD-CHERI · Oct 21, 2020 · 78204bb · 78204bb
1 parent 006993a
commit 78204bb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cheri_cap_common.sail b/src/cheri_cap_common.sail
@@ -147,7 +147,6 @@ function getCapHardPerms(cap) : Capability -> bits(cap_hperms_width) =
 
 /* Convert from capabilty bits (128 bits with tag) to a more convenient struct. */
 function encCapabilityToCapability(t,c) : (bool, EncCapability) -> Capability = {
-  let sealed : bool = c.otype != to_bits(cap_otype_width, otype_unsealed);
   internal_E : bool = bit_to_bool(c.internal_E);
   E : bits(cap_E_width)  = zeros();
   Bs : bits(cap_mantissa_width) = zeros();