src/Pure/Thy/thy_header.scala
changeset 67004 af72fa58f71b
parent 66984 a1d3e5df0c95
child 67013 335a7dce7cb3
     1.1 --- a/src/Pure/Thy/thy_header.scala	Sat Nov 04 15:24:40 2017 +0100
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Sat Nov 04 17:11:21 2017 +0100
     1.3 @@ -65,8 +65,8 @@
     1.4    private val bootstrap_keywords =
     1.5      Keyword.Keywords.empty.add_keywords(bootstrap_header)
     1.6  
     1.7 -  lazy val bootstrap_syntax: Outer_Syntax =
     1.8 -    Outer_Syntax.init.add_keywords(bootstrap_header)
     1.9 +  val bootstrap_syntax: Outer_Syntax =
    1.10 +    Outer_Syntax.empty.add_keywords(bootstrap_header)
    1.11  
    1.12  
    1.13    /* file name vs. theory name */