From 520dbdbdd956eafc3d085c99066738e840d08b7e Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 10 Dec 2014 18:52:11 +0000
Subject: Fix fromJust of Nothing error in multiplication

---
 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 7e573308..7e86ae7e 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -180,6 +180,8 @@ let to_num signed v =
       | (V_vector idx inc l) ->
 	if has_unknown v 
 	then V_unknown
+	else if l=[]
+	then V_unknown
 	else 
       (* Word library in Lem expects bitseq with LSB first *)
 	  let l = reverse l in
-- 
cgit v1.2.3