diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 84be7a7fda08fcd6a6ba30367bc9ef2d9981f760..978fdefdb90255863ccc796392586efe835c5347 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -26,6 +26,7 @@ fn main() {
     for i in 0..arr.len() {
         let mut element: u8 = 0;
         klee_make_symbolic!(&mut element, "element");
+        arr[i] = element;
     }
     let mut i: usize = 0;
     klee_make_symbolic!(&mut i, "i");