# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1539674989 -3600
# Node ID dbb0f7d2a33d34ade96567ca0ebda38cfb9b1ee9
# Parent  1a521448d211a59366e4a958dcebc5b0adb0d76e
updated

diff -r 1a521448d211 -r dbb0f7d2a33d 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))