diff -r 8d0af38389bc -r 6709fa87410b progs/fun-bare.scala
--- a/progs/fun-bare.scala	Sun Jul 28 14:24:46 2019 +0100
+++ b/progs/fun-bare.scala	Sun Jul 28 16:15:03 2019 +0100
@@ -153,7 +153,7 @@
   }
 }
 
-// main compilation function
+// the main compilation function
 def compile(prog: List[Decl], class_name: String) : String = {
   val instructions = prog.map(compile_decl).mkString
   (library + instructions).replaceAllLiterally("XXX", class_name)
@@ -162,7 +162,7 @@
 
 
 
-// example program (factorials)
+// An example program (factorials)
 
 val test_prog = 
   List(Def("fact", List("n"),