diff --git a/cargo_klee_examples/examples/cyccnt.rs b/cargo_klee_examples/examples/cyccnt.rs
index f6e0135083906e523ef9ba358d384ef6abb4511f..bc036db1d91adfbf7f86178287a9e52c3e2aa69c 100644
--- a/cargo_klee_examples/examples/cyccnt.rs
+++ b/cargo_klee_examples/examples/cyccnt.rs
@@ -19,7 +19,7 @@ fn main() {
 
     let end = core.DWT.cyccnt.read();
 
-    // let _time = end.wrapping_sub(start);
+    let _time = end.wrapping_sub(start);
 }
 
 // A) Running KLEE on embedded code: