src/Pure/Thy/sessions.scala
changeset 66770 122df1fde073
parent 66764 006deaf5c3dc
child 66780 bf54ca580bf2
     1.1 --- a/src/Pure/Thy/sessions.scala	Thu Oct 05 17:39:36 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Oct 06 17:13:57 2017 +0200
     1.3 @@ -131,8 +131,8 @@
     1.4      def loaded_theory_syntax(name: Document.Node.Name): Option[Outer_Syntax] =
     1.5        loaded_theory_syntax(name.theory)
     1.6  
     1.7 -    def node_syntax(nodes: Document.Nodes, name: Document.Node.Name): Option[Outer_Syntax] =
     1.8 -      nodes(name).syntax orElse loaded_theory_syntax(name)
     1.9 +    def node_syntax(nodes: Document.Nodes, name: Document.Node.Name): Outer_Syntax =
    1.10 +      nodes(name).syntax orElse loaded_theory_syntax(name) getOrElse overall_syntax
    1.11  
    1.12      def known_theory(name: String): Option[Document.Node.Name] =
    1.13        known.theories.get(name)