Updated my cyccnt answer

cargo_klee_examples/examples/cyccnt.rs

@@ -232,7 +232,7 @@ fn main() {
 // [your answer here]
 // I switch the subtraction to a wrapping one this will remove the error. I choose this solution
 // because it is short and easy to implement. It also calculates the correct diff value as long as
-// end has not wrapped around more then once.
+// it is not larger or equal to 2^32.
 //
 // D) Learning outcomes and major takeaways.
 //