diff options
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index 68076627..049ca92d 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -94,7 +94,7 @@ let rec slice_value bits start stop = Bitvector (Interp.from_n_to_n (if inc then (start - fst) else (fst - start)) (if inc then (stop - fst) else (fst - stop)) bools) inc - (if inc then 0 else ((stop - start) + 1)) + (if inc then start else ((stop - start) + 1)) | Bytevector bytes -> Bytevector (Interp.from_n_to_n start stop bytes) | Unknown -> Unknown |