doc: times should have a value

Daniel Kroening · Daniel Kroening · commit b01fc03b1e92 · 2019-01-06T10:34:51.000Z
diff --git a/doc/cprover-manual/cbmc-tutorial.md b/doc/cprover-manual/cbmc-tutorial.md
@@ -241,7 +241,7 @@ void unlock()
 int main()
 {
   unsigned got_lock = 0;
-  int times;
+  int times = 10;
 
   while(times > 0)
   {
