updated draft
authorChristian Urban <urbanc@in.tum.de>
Tue, 16 Oct 2018 08:29:49 +0100
changeset 580 3b81c582c1f0
parent 579 eb9ef7b96f4a
child 581 4782a4bfc888
updated
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))