src/Pure/PIDE/session.scala
changeset 64854 f5aa712e6250
parent 64827 4ef1eb75f1cd
child 65206 ff8c3c29a924
     1.1 --- a/src/Pure/PIDE/session.scala	Mon Jan 09 19:34:16 2017 +0100
     1.2 +++ b/src/Pure/PIDE/session.scala	Mon Jan 09 20:26:59 2017 +0100
     1.3 @@ -239,7 +239,7 @@
     1.4  
     1.5    def recent_syntax(name: Document.Node.Name): Outer_Syntax =
     1.6      global_state.value.recent_finished.version.get_finished.nodes(name).syntax getOrElse
     1.7 -    resources.base_syntax
     1.8 +    resources.base.syntax
     1.9  
    1.10  
    1.11    /* pipelined change parsing */