doc: functions sum should return a value

Daniel Kroening · Daniel Kroening · commit aaf272702b24 · 2019-01-06T12:51:25.000Z
diff --git a/doc/cprover-manual/cbmc-tutorial.md b/doc/cprover-manual/cbmc-tutorial.md
@@ -145,6 +145,8 @@ int sum() {
   sum=0;
   for(i=0; i<10; i++)
     sum+=array[i];
+
+  return sum;
 }
 ```
 
