src/Pure/PIDE/session.scala

--- a/src/Pure/PIDE/session.scala	Fri Sep 29 21:30:31 2017 +0200
+++ b/src/Pure/PIDE/session.scala	Fri Sep 29 22:12:32 2017 +0200
@@ -220,7 +220,7 @@
 
   def recent_syntax(name: Document.Node.Name): Outer_Syntax =
     global_state.value.recent_finished.version.get_finished.nodes(name).syntax getOrElse
-    resources.session_base.syntax
+    resources.session_base.overall_syntax
 
 
   /* pipelined change parsing */