--- a/progs/token.scala	Wed Oct 25 00:05:59 2017 +0100
+++ b/progs/token.scala	Tue Oct 31 21:32:12 2017 +0000
@@ -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))