From 0bfa7cb591faf5e09aca2ebe87c8c0c30044bfa1 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 10 May 2017 11:37:12 +0100
Subject: Comment out duplicate definitions in cheri_types.sail

They are already defined in cheri_prelude_common.sail
---
 cheri/cheri_types.sail | 5 ++---
 1 file 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|]
-
-- 
cgit v1.2.3