src/Pure/PIDE/session.scala
changeset 56393 22f533e6a049
parent 56387 d92eb5c3960d
child 56394 bbf4d512f395
     1.1 --- a/src/Pure/PIDE/session.scala	Thu Apr 03 20:17:12 2014 +0200
     1.2 +++ b/src/Pure/PIDE/session.scala	Thu Apr 03 20:53:35 2014 +0200
     1.3 @@ -222,10 +222,10 @@
     1.4    private val global_state = Volatile(Document.State.init)
     1.5    def current_state(): Document.State = global_state()
     1.6  
     1.7 -  def recent_syntax(): Outer_Syntax =
     1.8 +  def recent_syntax(): Prover.Syntax =
     1.9    {
    1.10      val version = current_state().recent_finished.version.get_finished
    1.11 -    if (version.is_init) resources.base_syntax
    1.12 +    if (version.is_init) resources.base_syntax  // FIXME
    1.13      else version.syntax
    1.14    }
    1.15