src/Pure/PIDE/session.scala

--- a/src/Pure/PIDE/session.scala	Mon Jan 09 19:34:16 2017 +0100
+++ b/src/Pure/PIDE/session.scala	Mon Jan 09 20:26:59 2017 +0100
@@ -239,7 +239,7 @@
 
   def recent_syntax(name: Document.Node.Name): Outer_Syntax =
     global_state.value.recent_finished.version.get_finished.nodes(name).syntax getOrElse
-    resources.base_syntax
+    resources.base.syntax
 
 
   /* pipelined change parsing */