From 8a371efeab0792b370da7764a290b14a1d21b83a Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 14 Jan 2015 16:09:13 +0000
Subject: correct wrongly used variable in arith operations

---
 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 34dc3369..8ec9e983 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -366,7 +366,7 @@ let rec arith_op_overflow_vec_bit op sign size (V_tuple [vl;vr]) =
 			arith_op op (V_tuple [l1_u;(V_lit (L_aux (L_num 1) li))]), true)
 	    | L_zero -> (l1',l1_u,false) end in
 	let correct_size_num = to_vec ord act_size n in
-	let one_larger = to_vec ord (act_size +1) l1_u in
+	let one_larger = to_vec ord (act_size +1) nu in
 	let overflow = if changed 
 	  then retaint n (match detaint n with 
 	    | V_lit (L_aux (L_num n') ln) -> 
-- 
cgit v1.2.3