From f0121963e7bbeef2ce1fe041a186b142855b9b82 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 30 Oct 2014 10:11:23 +0000
Subject: Add case to neg for interp_lib

---
 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 20bf11b5..feb99c02 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -186,6 +186,7 @@ let rec neg v = match v with
       | L_zero -> L_one end) la) 
   | V_unknown -> V_unknown
   | V_track v r -> taint (neg v) r
+  | V_tuple [v] -> neg v
 end 
 ;;
 
-- 
cgit v1.2.3