From 0451b5056ff4beead2b0cedc43458e3366414b57 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 27 Jul 2016 13:16:08 +0100
Subject: Add a function 'not' to the library with type bit -> bit

---
 src/type_internal.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/type_internal.ml b/src/type_internal.ml
index 43b3dfb4..85e6b15e 100644
--- a/src/type_internal.ml
+++ b/src/type_internal.ml
@@ -2576,6 +2576,8 @@ let initial_typ_env =
     mk_bitwise_op  "bitwise_or" "|" 2;
     mk_bitwise_op  "bitwise_xor" "^" 2;
     mk_bitwise_op  "bitwise_and" "&" 2;
+    ("not",
+     Base(([], mk_pure_fun bit_t bit_t), External (Some "bitwise_not_bit"), [],pure_e,pure_e,nob));
     ("^^",
      Overload(
        Base((mk_nat_params["n";"o";"p"]@[("a",{k=K_Typ})],
-- 
cgit v1.2.3