From b194fe956e50f3e37b75e2f868912f4328d0586a Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sat, 17 Jan 2015 16:22:55 +0000
Subject: update division

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

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 25bafe6f..21190a17 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -474,7 +474,6 @@ let rec arith_op_overflow_vec_no0 op op_s sign size (V_tuple [vl;vr]) =
 	  let representable = 
 	    match detaint n with 
 	      | V_lit (L_aux (L_num n') ln) ->  
-		let rep_size = (if op_s = "quot" then rep_size/2 else rep_size) in
 		((n' <= (get_max_representable_in rep_size)) && (n' >= (get_min_representable_in rep_size)))
 	      | _ -> true end in
           let (correct_size_num,one_more) = 
-- 
cgit v1.2.3