--- a/scala/ex.scala	Thu Mar 14 18:24:06 2013 +0000
+++ b/scala/ex.scala	Thu Mar 14 18:46:34 2013 +0000
@@ -5,7 +5,6 @@
 import comp1._
 import comp2._
 
-print(compile_rec(S)._1.print)
 
 // Turing machine examples
 val TMCopy = TM((WBk, 5), (R, 2), (R, 3), (R, 2), (WOc, 3),