diff options
| author | Kathy Gray | 2015-01-14 16:09:13 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-14 16:09:13 +0000 |
| commit | 8a371efeab0792b370da7764a290b14a1d21b83a (patch) | |
| tree | cea995a8b6836b9d4f5dd19d1a445a0ce5e4d60b /src | |
| parent | a8be1a21ab34473ff05d96789cf606fe9273c39b (diff) | |
correct wrongly used variable in arith operations
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 1 insertions, 1 deletions
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) -> |