src/Pure/Isar/outer_syntax.scala
changeset 46712 8650d9a95736
parent 46626 a02115865bcc
child 46940 a40be2f10ca9
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Mon Feb 27 16:56:25 2012 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Mon Feb 27 17:13:25 2012 +0100
     1.3 @@ -37,7 +37,7 @@
     1.4    def init(): Outer_Syntax = new Outer_Syntax()
     1.5  }
     1.6  
     1.7 -class Outer_Syntax private(
     1.8 +final class Outer_Syntax private(
     1.9    keywords: Map[String, String] = Map((";" -> Keyword.DIAG)),
    1.10    lexicon: Scan.Lexicon = Scan.Lexicon.empty,
    1.11    val completion: Completion = Completion.init())