src/Pure/Thy/thy_element.scala

--- a/src/Pure/Thy/thy_element.scala	Mon Apr 04 22:42:12 2022 +0200
+++ b/src/Pure/Thy/thy_element.scala	Mon Apr 04 23:33:14 2022 +0200
@@ -6,7 +6,7 @@
 
 package isabelle
 
-import scala.util.parsing.combinator.Parsers
+import scala.util.parsing.combinator
 import scala.util.parsing.input
 
 
@@ -58,7 +58,7 @@
       def atEnd: Boolean = in.isEmpty
     }
 
-    object Parser extends Parsers {
+    object Parsers extends combinator.Parsers {
       type Elem = Command
 
       def command(pred: Command => Boolean): Parser[Command] =
@@ -92,6 +92,6 @@
           case bad => error(bad.toString)
         }
     }
-    Parser.apply
+    Parsers.apply
   }
 }