From 2b62a85d0d73f4293b27a26f0d57c171168ff68b Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 9 Dec 2014 22:33:14 +0000
Subject: Add quite important detaint

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

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 890372f2..033057c3 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -79,7 +79,7 @@ let is_unknown v = match v with
   | _ -> false
 end 
 
-let has_unknown v = match v with
+let has_unknown v = match detaint v with
   | V_vector _ _ vs -> List.any is_unknown vs
 end
 
-- 
cgit v1.2.3