src/Pure/Isar/parse.scala

--- a/src/Pure/Isar/parse.scala	Mon Apr 04 22:42:12 2022 +0200
+++ b/src/Pure/Isar/parse.scala	Mon Apr 04 23:33:14 2022 +0200
@@ -7,14 +7,14 @@
 package isabelle
 
 
-import scala.util.parsing.combinator.Parsers
+import scala.util.parsing.combinator
 import scala.annotation.tailrec
 
 
 object Parse {
   /* parsing tokens */
 
-  trait Parser extends Parsers {
+  trait Parsers extends combinator.Parsers {
     type Elem = Token
 
     def filter_proper: Boolean = true