diff options
| author | Kathy Gray | 2015-01-17 16:22:55 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-17 16:22:55 +0000 |
| commit | b194fe956e50f3e37b75e2f868912f4328d0586a (patch) | |
| tree | 3f0c053a1a927164d7f2102c2d2fb19f6ae09d1d /src | |
| parent | 0eda3ccb8f3003bbc0366ee1bead89c9408e185f (diff) | |
update division
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 1 |
1 files changed, 0 insertions, 1 deletions
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) = |