diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp.lem | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index cf8c325c..270885b5 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -582,7 +582,8 @@ let rec update_vector_start new_start expected_size v = match v with | V_vector_sparse m n inc vals d -> V_vector_sparse new_start n inc vals d | V_unknown -> V_vector new_start true (List.replicate (natFromInteger expected_size) V_unknown) - | V_lit (L_aux L_undef _) -> v + | V_lit (L_aux L_undef _) -> + V_vector new_start true (List.replicate (natFromInteger expected_size) v) | V_track v r -> taint (update_vector_start new_start expected_size v) r end |