--- 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))