From ab180378931eda01764ea4731622681ef98d19ba Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 27 Apr 2016 14:44:13 +0100
Subject: expand supported patterns for most_significant

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

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index c84588ef..8b390b8a 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -118,6 +118,9 @@ let rec most_significant v =
     match detaint v with
     | V_vector _ _ (v::vs) -> v
     | V_vector_sparse _ _ _ _ _ -> most_significant (fill_in_sparse v)
+    | V_lit (L_aux L_one _) -> v
+    | V_lit (L_aux L_zero _) -> v
+    | V_lit (L_aux L_undef _) -> v
     | V_unknown -> V_unknown
     | _ -> Assert_extra.failwith ("most_significant given non-vector " ^ (string_of_value v))
 end;;                       
-- 
cgit v1.2.3