# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1605400396 0
# Node ID 614de60d37d6f38914df7e3f9a8d23b06857b9b2
# Parent  c1dfa3f64829a9bf62d91f99cdd3070b8b0a75ea
updated

diff -r c1dfa3f64829 -r 614de60d37d6 progs/while-tests/collatz.while
--- a/progs/while-tests/collatz.while	Fri Nov 13 15:03:48 2020 +0000
+++ b/progs/while-tests/collatz.while	Sun Nov 15 00:33:16 2020 +0000
@@ -3,6 +3,6 @@
 while n > 1 do {
   if n % 2 == 0 
   then n := n/2 
-  else n := 3*n+1;
+  else n := 3*n+1
 };
-write "Yes";
+write "Yes"