changeset 56394 | bbf4d512f395 |
parent 56393 | 22f533e6a049 |
child 56412 | 2dd33da970ea |
--- a/src/Pure/PIDE/session.scala Thu Apr 03 20:53:35 2014 +0200 +++ b/src/Pure/PIDE/session.scala Thu Apr 03 21:08:00 2014 +0200 @@ -225,8 +225,7 @@ def recent_syntax(): Prover.Syntax = { val version = current_state().recent_finished.version.get_finished - if (version.is_init) resources.base_syntax // FIXME - else version.syntax + version.syntax getOrElse resources.base_syntax } def snapshot(name: Document.Node.Name = Document.Node.Name.empty,