src/Pure/Thy/thy_syntax.scala
changeset 63584 68751fe1c036
parent 63579 73939a9b70a3
child 63866 630eaf8fe9f3
     1.1 --- a/src/Pure/Thy/thy_syntax.scala	Tue Aug 02 18:44:37 2016 +0200
     1.2 +++ b/src/Pure/Thy/thy_syntax.scala	Tue Aug 02 18:45:34 2016 +0200
     1.3 @@ -158,7 +158,7 @@
     1.4  
     1.5    private def reparse_spans(
     1.6      resources: Resources,
     1.7 -    syntax: Prover.Syntax,
     1.8 +    syntax: Outer_Syntax,
     1.9      get_blob: Document.Node.Name => Option[Document.Blob],
    1.10      can_import: Document.Node.Name => Boolean,
    1.11      node_name: Document.Node.Name,
    1.12 @@ -204,7 +204,7 @@
    1.13  
    1.14    private def text_edit(
    1.15      resources: Resources,
    1.16 -    syntax: Prover.Syntax,
    1.17 +    syntax: Outer_Syntax,
    1.18      get_blob: Document.Node.Name => Option[Document.Blob],
    1.19      can_import: Document.Node.Name => Boolean,
    1.20      reparse_limit: Int,