diff -r b672be21ffac -r 333013923c5a thys2/blexer2.sc
--- a/thys2/blexer2.sc	Thu Jun 23 16:10:04 2022 +0100
+++ b/thys2/blexer2.sc	Thu Jun 23 16:47:48 2022 +0100
@@ -944,14 +944,6 @@
   rs1.forall(rs2.contains)
 
 def prune6(acc: Set[Rexp], r: ARexp, ctx: List[Rexp] = Nil) : ARexp = {
-  // if (erase(r) == ONE &&  acc != Set()) 
-  // {
-  //   println("ctx")
-  //   rsprint(ctx)
-  //   println("acc")
-  //   rsprint(acc)
-  //   println("acc-end")
-  // }
   if (ABIncludedByC(a = r, b = ctx, c = acc, 
                     f = attachCtx, subseteqPred = rs1_subseteq_rs2)) 
   {