# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1605400396 0
# Node ID 387240957c3d5c129797bdb3346aeb979ad91d8a
# Parent  d4fb8c7fc3bf39ad8809e2fd08467e50bf0b034f
updated

diff -r d4fb8c7fc3bf -r 387240957c3d 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"