diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 978fdefdb90255863ccc796392586efe835c5347..83777a86ebb6197425013f197533f35062c8c751 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -23,11 +23,7 @@ fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
 #[no_mangle]
 fn main() {
     let mut arr = [0u8; 8];
-    for i in 0..arr.len() {
-        let mut element: u8 = 0;
-        klee_make_symbolic!(&mut element, "element");
-        arr[i] = element;
-    }
+    klee_make_symbolic!(&mut arr, "arr"); 
     let mut i: usize = 0;
     klee_make_symbolic!(&mut i, "i");
     let b = sum_first_elements(&arr, i);