From 5c31607a52606cd5671d7d65627ac37cc9f117c8 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 10 Aug 2016 12:04:26 +0100
Subject: Missing case in lib

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

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 39597e89..7c6a2b53 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -230,6 +230,8 @@ let to_num signed v =
 	    V_lit(L_aux (L_num(integerFromBitSeq (Maybe_extra.fromJust (bitSeqFromBoolList (map bit_to_bool l))))) Unknown)
       | V_unknown -> V_unknown
       | V_lit (L_aux L_undef _) -> v
+      | V_lit (L_aux L_zero l) -> V_lit (L_aux (L_num 0) l)
+      | V_lit (L_aux L_one l) -> V_lit (L_aux (L_num 1) l)
       | _ -> Assert_extra.failwith ("to_num given unexpected " ^ (string_of_value v))
      end)
 
-- 
cgit v1.2.3