From 81b0bcac17be23b605d840c907421f9c09ae73c0 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sat, 16 May 2015 21:53:47 +0100
Subject: extend a missing case

---
 src/lem_interp/interp_lib.lem | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index d83341c8..bcacaabc 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -145,7 +145,8 @@ let bitwise_not_bit v =
     | L_zero -> (V_lit (L_aux L_one loc))
     | L_false -> (V_lit (L_aux L_one loc))
     | L_one  -> (V_lit (L_aux L_zero loc))
-    | L_true -> (V_lit (L_aux L_zero loc)) end in
+    | L_true -> (V_lit (L_aux L_zero loc))
+    | L_undef -> (V_lit (L_aux L_undef loc)) end in
   retaint v (match detaint v with
   | V_lit lit -> lit_not lit
   | V_unknown -> V_unknown end)
-- 
cgit v1.2.3