From 6edab5a5943bfc04052eb12246096da82235b347 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 5 May 2015 11:57:13 -0400
Subject: allow undefined in mask for size

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

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 4b9cd8b4..2790aee7 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -582,6 +582,7 @@ let mask direction (V_tuple [vsize;v]) = retaint v (match (detaint v,detaint vsi
     let nat_n = natFromInteger n in
     let start_num = if is_inc(direction) then 0 else nat_n -1 in
     V_vector start_num direction (List.replicate nat_n V_unknown)
+  | (_,V_unknown) -> V_unknown
 					  end)
 
 let library_functions direction = [
-- 
cgit v1.2.3