| changeset 60934 | b63d0ff4b797 |
| parent 60900 | 11a0f333de6f |
| child 61376 | 93224745477f |
--- a/src/Pure/PIDE/session.scala Sat Aug 15 18:59:31 2015 +0200 +++ b/src/Pure/PIDE/session.scala Sat Aug 15 19:00:04 2015 +0200 @@ -238,7 +238,7 @@ def current_state(): Document.State = global_state.value def recent_syntax(name: Document.Node.Name): Prover.Syntax = - current_state().recent_finished.version.get_finished.nodes(name).syntax getOrElse + global_state.value.recent_finished.version.get_finished.nodes(name).syntax getOrElse resources.base_syntax