--- a/scala/ex.scala	Thu Mar 14 18:46:34 2013 +0000
+++ b/scala/ex.scala	Thu Mar 14 19:03:05 2013 +0000
@@ -95,7 +95,7 @@
   val res = (abc_f.run(abc_map))(arity)
   val end = System.nanoTime()
   val time = (end - start)/1.0e9
-  ("Result: " + res + "  length: " + abc_f.p.length + " time: " + "%.5f".format(time) + "\n Prog:" + abc_f)
+  ("Result: " + res + "  length: " + abc_f.p.length + " time: " + "%.5f".format(time))
 }
 
 println("S(3)          " + test_comp2(S, 3))