src/Pure/System/options.scala
changeset 67004 af72fa58f71b
parent 66984 a1d3e5df0c95
child 67178 70576478bda9
     1.1 --- a/src/Pure/System/options.scala	Sat Nov 04 15:24:40 2017 +0100
     1.2 +++ b/src/Pure/System/options.scala	Sat Nov 04 17:11:21 2017 +0100
     1.3 @@ -71,13 +71,13 @@
     1.4    private val PREFS_DIR = Path.explode("$ISABELLE_HOME_USER/etc")
     1.5    private val PREFS = PREFS_DIR + Path.basic("preferences")
     1.6  
     1.7 -  lazy val options_syntax =
     1.8 -    Outer_Syntax.init + ":" + "=" + "--" + Symbol.comment + Symbol.comment_decoded +
     1.9 +  val options_syntax =
    1.10 +    Outer_Syntax.empty + ":" + "=" + "--" + Symbol.comment + Symbol.comment_decoded +
    1.11        (SECTION, Keyword.DOCUMENT_HEADING) +
    1.12        (PUBLIC, Keyword.BEFORE_COMMAND) +
    1.13        (OPTION, Keyword.THY_DECL)
    1.14  
    1.15 -  lazy val prefs_syntax = Outer_Syntax.init + "="
    1.16 +  val prefs_syntax = Outer_Syntax.empty + "="
    1.17  
    1.18    trait Parser extends Parse.Parser
    1.19    {