src/Pure/Thy/sessions.scala
changeset 66984 a1d3e5df0c95
parent 66977 fa79f18eadc7
child 66987 352b23c97ac8
     1.1 --- a/src/Pure/Thy/sessions.scala	Wed Nov 01 20:46:23 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Wed Nov 01 21:02:16 2017 +0100
     1.3 @@ -638,7 +638,7 @@
     1.4    private val DOCUMENT_FILES = "document_files"
     1.5  
     1.6    lazy val root_syntax =
     1.7 -    Outer_Syntax.init() + "(" + ")" + "+" + "," + "=" + "[" + "]" + GLOBAL + IN +
     1.8 +    Outer_Syntax.init + "(" + ")" + "+" + "," + "=" + "[" + "]" + GLOBAL + IN +
     1.9        (CHAPTER, Keyword.THY_DECL) +
    1.10        (SESSION, Keyword.THY_DECL) +
    1.11        (DESCRIPTION, Keyword.QUASI_COMMAND) +