# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1762595509 0
# Node ID 53889239df4ae2a9752995051dc13c2b23577dc3
# Parent  5990e03b2ba82dfa43021b5de791e4792f24d799
updated

diff -r 5990e03b2ba8 -r 53889239df4a progs/while/compile.sc
--- a/progs/while/compile.sc	Sat Nov 01 04:59:23 2025 +0000
+++ b/progs/while/compile.sc	Sat Nov 08 09:51:49 2025 +0000
@@ -80,8 +80,8 @@
 // for instructions and labels
 
 extension (sc: StringContext) {
-    def i(args: Any*): String = "   " ++ sc.s(args:_*) ++ "\n"
-    def l(args: Any*): String = sc.s(args:_*) ++ ":\n"
+    def i(args: Any*): String = "   " ++ sc.s(args*) ++ "\n"
+    def l(args: Any*): String = sc.s(args*) ++ ":\n"
 }
 
 // this allows us to write things like