diff -r 568671822d52 -r ce4a7bab6bd8 progs/fun2/mand.fun
--- a/progs/fun2/mand.fun	Fri Dec 03 17:45:11 2021 +0000
+++ b/progs/fun2/mand.fun	Fri Dec 03 18:00:30 2021 +0000
@@ -1,4 +1,4 @@
-// Mandelbrot program
+// Mandelbrot program (without character constants)
 
 val Ymin: Double = -1.3;
 val Ymax: Double =  1.3;