diff --git a/cargo_klee_examples/examples/cyccnt.rs b/cargo_klee_examples/examples/cyccnt.rs
index bfb8f4063190ef5d0b4b349d7303110dcffce382..470db780679513c7450cf354f133df7a9be485bd 100644
--- a/cargo_klee_examples/examples/cyccnt.rs
+++ b/cargo_klee_examples/examples/cyccnt.rs
@@ -166,7 +166,7 @@ fn main() {
 //
 // What do you get, and why?
 //
-// [your answer here]
+// [There are no value of start or end because both are optimized out.]
 //
 // As you should have seen, this was not particularly informative, right?
 //