--- a/thys2/blexer2.sc	Sat Nov 26 16:18:10 2022 +0000
+++ b/thys2/blexer2.sc	Thu Dec 01 08:49:19 2022 +0000
@@ -917,9 +917,6 @@
 
     def turnIntoTerms(r: Rexp): List[Rexp] = r match {
       case SEQ(r1, r2)  => 
-    //   if(isOne1(r1)) 
-    //   turnIntoTerms(r2) 
-    // else 
         turnIntoTerms(r1).flatMap(r11 => furtherSEQ(r11, r2))
           case ALTS(r1, r2) => turnIntoTerms(r1) ::: turnIntoTerms(r2)
           case ZERO => Nil