From 01100e146e5c6ca2ed2697ff792af42ec37b6cc9 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 29 Jun 2015 18:51:34 +0100
Subject: Fix pattern match error

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

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 83bee732..875907fe 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -77,12 +77,12 @@ let zeroi = integerFromNat 0
 let onei = integerFromNat 1
 let twoi = integerFromNat 2
 
-let is_unknown v = match v with
+let is_unknown v = match detaint v with
   | V_unknown -> true
   | _ -> false
 end 
 
-let is_undef v = match v with
+let is_undef v = match detaint v with
   | V_lit (L_aux L_undef _) -> true
   | _ -> false
 end
@@ -141,6 +141,7 @@ let bit_to_bool b = match detaint b with
   | V_lit (L_aux L_false _) -> false
   | V_lit (L_aux L_one _) -> true
   | V_lit (L_aux L_true _) -> true
+  | _ -> Assert_extra.failwith ("bit_to_bool given unexpected " ^ (string_of_value b))
   end ;;
 let bool_to_bit b = match b with
     false -> V_lit (L_aux L_zero Unknown)
-- 
cgit v1.2.3