src/Tools/VSCode/src/document_model.scala
changeset 67004 af72fa58f71b
parent 66984 a1d3e5df0c95
child 67014 e6a695d6a6b2
     1.1 --- a/src/Tools/VSCode/src/document_model.scala	Sat Nov 04 15:24:40 2017 +0100
     1.2 +++ b/src/Tools/VSCode/src/document_model.scala	Sat Nov 04 17:11:21 2017 +0100
     1.3 @@ -240,5 +240,5 @@
     1.4    /* syntax */
     1.5  
     1.6    def syntax(): Outer_Syntax =
     1.7 -    if (is_theory) session.recent_syntax(node_name) else Outer_Syntax.init
     1.8 +    if (is_theory) session.recent_syntax(node_name) else Outer_Syntax.empty
     1.9  }