diff -r cf169411b771 -r f15dccc42c7b lex_blex_Frankensteined.scala
--- a/lex_blex_Frankensteined.scala	Wed Mar 13 15:27:09 2019 +0000
+++ b/lex_blex_Frankensteined.scala	Fri Mar 15 10:46:46 2019 +0000
@@ -88,7 +88,7 @@
   }
 
   internalise(("a" | "ab") ~ ("b" | ""))
-
+/*
   def decode_aux(r: Rexp, bs: Bits) : (Val, Bits) = (r, bs) match {
     case (ONE, bs) => (Empty, bs)
     case (PRED(f), C(c)::bs) => (Chr(c), bs)
@@ -125,7 +125,7 @@
     case (v, Nil) => v
     case _ => throw new Exception("Not decodable")
   }
-
+*/
 
   //erase function: extracts the regx from Aregex
   def erase(r:ARexp): Rexp = r match{