--- a/src/Pure/Thy/sessions.scala Thu Oct 05 17:39:36 2017 +0200
+++ b/src/Pure/Thy/sessions.scala Fri Oct 06 17:13:57 2017 +0200
@@ -131,8 +131,8 @@
def loaded_theory_syntax(name: Document.Node.Name): Option[Outer_Syntax] =
loaded_theory_syntax(name.theory)
- def node_syntax(nodes: Document.Nodes, name: Document.Node.Name): Option[Outer_Syntax] =
- nodes(name).syntax orElse loaded_theory_syntax(name)
+ def node_syntax(nodes: Document.Nodes, name: Document.Node.Name): Outer_Syntax =
+ nodes(name).syntax orElse loaded_theory_syntax(name) getOrElse overall_syntax
def known_theory(name: String): Option[Document.Node.Name] =
known.theories.get(name)