--- a/src/Pure/Thy/thy_syntax.scala Tue Aug 02 18:44:37 2016 +0200
+++ b/src/Pure/Thy/thy_syntax.scala Tue Aug 02 18:45:34 2016 +0200
@@ -158,7 +158,7 @@
private def reparse_spans(
resources: Resources,
- syntax: Prover.Syntax,
+ syntax: Outer_Syntax,
get_blob: Document.Node.Name => Option[Document.Blob],
can_import: Document.Node.Name => Boolean,
node_name: Document.Node.Name,
@@ -204,7 +204,7 @@
private def text_edit(
resources: Resources,
- syntax: Prover.Syntax,
+ syntax: Outer_Syntax,
get_blob: Document.Node.Name => Option[Document.Blob],
can_import: Document.Node.Name => Boolean,
reparse_limit: Int,