# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1528574524 -3600
# Node ID 8a79cc0b277c01100f3c4464f2ee5ebde17a0aac
# Parent  e04630d60bd56cd8d59825cd279366dedc900cf9
updated

diff -r e04630d60bd5 -r 8a79cc0b277c progs/token.scala
--- a/progs/token.scala	Fri Jun 01 16:19:26 2018 +0100
+++ b/progs/token.scala	Sat Jun 09 21:02:04 2018 +0100
@@ -271,8 +271,8 @@
   case c::cs => {
     val rd = der(c, r)     
     val (r_simp, f_simp) = simp(rd)
-    //println(s"BEFORE ${string(rd)}")
-    //println(s"AFTER  ${string(r_simp)}")
+    println(s"BEFORE ${string(rd)}")
+    println(s"AFTER  ${string(r_simp)}")
     val rec = lex_simp(r_simp, cs)
     inj(r, c, f_simp(rec))
   }