diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 32cdb8ec10645edd8d68df93e9ba8a0bca0a4326..afb61709e5380f2f8b02989738d934b9e78c5bb4 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -19,8 +19,9 @@ fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
 
 #[no_mangle]
 fn main() {
-    let arr = [0u8; 8];
+    let mut arr = [0u8; 8];
     let mut i: usize = 0;
+    klee_make_symbolic!(&mut arr, "arr");
     klee_make_symbolic!(&mut i, "i");
     let b = sum_first_elements(&arr, i);
 }