--- a/thys2/blexer2.sc	Mon May 09 17:24:26 2022 +0100
+++ b/thys2/blexer2.sc	Tue May 17 00:54:29 2022 +0100
@@ -10,7 +10,7 @@
 //
 //   amm lexer.sc all
 
-import scala.util.Try
+
 
 // regular expressions including records
 abstract class Rexp 
@@ -60,6 +60,8 @@
 case class ANOT(bs: Bits, r: ARexp) extends ARexp
 case class AANYCHAR(bs: Bits) extends ARexp
 
+import scala.util.Try
+
 trait Generator[+T] {
     self => // an alias for "this"
     def generate(): T