# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1539674989 -3600
# Node ID 3b81c582c1f0cee22319a4bb3c3ba68063ab0c52
# Parent  eb9ef7b96f4a45f1be449f0added6bbfe8852661
updated

diff -r eb9ef7b96f4a -r 3b81c582c1f0 progs/token.scala
--- a/progs/token.scala	Tue Oct 16 08:28:12 2018 +0100
+++ b/progs/token.scala	Tue Oct 16 08:29:49 2018 +0100
@@ -129,8 +129,6 @@
 
 lexing(("ab" | "a") ~ ("b" | ONE), "ab")
 
-
-
 // some "rectification" functions for simplification
 def F_ID(v: Val): Val = v
 def F_RIGHT(f: Val => Val) = (v:Val) => Right(f(v))