--- a/src/Pure/General/antiquote.scala Sat Jan 07 19:36:40 2017 +0100
+++ b/src/Pure/General/antiquote.scala Sat Jan 07 20:01:05 2017 +0100
@@ -7,9 +7,6 @@
package isabelle
-import scala.util.parsing.input.CharSequenceReader
-
-
object Antiquote
{
sealed abstract class Antiquote { def source: String }
@@ -50,7 +47,7 @@
def read(input: CharSequence): List[Antiquote] =
{
- Parsers.parseAll(Parsers.rep(Parsers.antiquote), new CharSequenceReader(input)) match {
+ Parsers.parseAll(Parsers.rep(Parsers.antiquote), Scan.char_reader(input)) match {
case Parsers.Success(xs, _) => xs
case Parsers.NoSuccess(_, next) =>
error("Malformed quotation/antiquotation source" +