diff options
| author | Robert Norton | 2017-05-10 12:56:50 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-05-10 12:57:02 +0100 |
| commit | 5984dca66a9a5f25077b8451796f08639479b489 (patch) | |
| tree | 10745c3d5e2dcbb1135b074e3b221e41320f4a3c /cheri | |
| parent | f36a9ca1de995bfecfb3c42f111a8ab020f88858 (diff) | |
Further to Thomas's commit remove the duplicate declarations of max_otype and have_cp2.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 1 | ||||
| -rw-r--r-- | cheri/cheri_types.sail | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index 60cd1118..2bdbbe77 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -81,7 +81,6 @@ let (CapStruct) null_cap = { address = 0; } -let (nat) max_otype = 0xffffff def Nat cap_size_t = 16 (* cap size in bytes *) let ([:cap_size_t:]) cap_size = 16 diff --git a/cheri/cheri_types.sail b/cheri/cheri_types.sail index 79ea1801..031848f2 100644 --- a/cheri/cheri_types.sail +++ b/cheri/cheri_types.sail @@ -32,6 +32,4 @@ (* SUCH DAMAGE. *) (*========================================================================*) -(*let (nat) max_otype = 0xffffff -let have_cp2 = true*) typedef CapLen = [|0 : 2**65|] |