From 2287b8f312e486b5567f26e6be8d6ae8b385cfaa Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 1 Aug 2017 14:11:00 +0100
Subject: Remove some hardcoded calls to obsolete Lem library functions

---
 src/gen_lib/sail_values.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index 5dbdb157..f148c1ff 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -69,7 +69,7 @@ let bitwise_not_bit = function
   | BU -> BU
   end
 
-let inline (~) = bitwise_not_bit
+(* let inline (~) = bitwise_not_bit *)
 
 val is_one : integer -> bitU
 let is_one i =
-- 
cgit v1.2.3