diff options
| author | Thomas Bauereiss | 2017-05-10 11:37:12 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-05-10 11:37:12 +0100 |
| commit | 0bfa7cb591faf5e09aca2ebe87c8c0c30044bfa1 (patch) | |
| tree | 81304e1984c42c29f0b946c1ecc73f743be418c2 | |
| parent | 822fc696bb9b72a30b4711d15ecca61b666e3a93 (diff) | |
Comment out duplicate definitions in cheri_types.sail
They are already defined in cheri_prelude_common.sail
| -rw-r--r-- | cheri/cheri_types.sail | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/cheri/cheri_types.sail b/cheri/cheri_types.sail index 53d05cb5..79ea1801 100644 --- a/cheri/cheri_types.sail +++ b/cheri/cheri_types.sail @@ -32,7 +32,6 @@ (* SUCH DAMAGE. *) (*========================================================================*) -let (nat) max_otype = 0xffffff -let have_cp2 = true +(*let (nat) max_otype = 0xffffff +let have_cp2 = true*) typedef CapLen = [|0 : 2**65|] - |