diff options
Diffstat (limited to 'src/gen_lib')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index 3357fe3d..0d47a5e8 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -129,7 +129,7 @@ val set_vector_start : forall 'a. integer -> vector 'a -> vector 'a let set_vector_start new_start (Vector bs _ is_inc) = Vector bs new_start is_inc -let copy v = +let reset_vector_start v = set_vector_start (if (get_dir v) then 0 else (length v - 1)) v let set_vector_start_to_length v = |