diff -r 75d9f9e5906f -r 05cfce0fdef7 progs/detokenise.scala
--- a/progs/detokenise.scala	Thu Nov 07 00:07:16 2019 +0000
+++ b/progs/detokenise.scala	Thu Nov 14 01:21:02 2019 +0000
@@ -32,8 +32,8 @@
 def main(args: Array[String]) = {
   val fname = args(0)
   val tks = deserialise[List[Token]](fname).getOrElse(Nil)
-  println(s"Reading back from ${fname}:\n${tks.mkString("\n")}")  
+  println(s"Reading back from ${fname}:\n${tks.mkString(", ")}")  
 }
 
 
-}
\ No newline at end of file
+}