src/Pure/Thy/thy_header.scala
changeset 64854 f5aa712e6250
parent 64825 e78b62c289bb
child 65362 908a27a4b9c9
     1.1 --- a/src/Pure/Thy/thy_header.scala	Mon Jan 09 19:34:16 2017 +0100
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Mon Jan 09 20:26:59 2017 +0100
     1.3 @@ -37,7 +37,7 @@
     1.4    val AND = "and"
     1.5    val BEGIN = "begin"
     1.6  
     1.7 -  private val bootstrap_header: Keywords =
     1.8 +  val bootstrap_header: Keywords =
     1.9      List(
    1.10        ("%", Keyword.no_spec),
    1.11        ("(", Keyword.no_spec),