src/Pure/Isar/outer_syntax.scala
changeset 46624 dc4c72092088
parent 44051 2ec66075a75c
child 46626 a02115865bcc
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Thu Feb 23 19:35:05 2012 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Thu Feb 23 19:58:49 2012 +0100
     1.3 @@ -39,7 +39,7 @@
     1.4  {
     1.5    protected val keywords: Map[String, String] = Map((";" -> Keyword.DIAG))
     1.6    protected val lexicon: Scan.Lexicon = Scan.Lexicon.empty
     1.7 -  lazy val completion: Completion = (new Completion).add_symbols // FIXME odd initialization
     1.8 +  lazy val completion: Completion = Completion.init()  // FIXME odd initialization
     1.9  
    1.10    def keyword_kind(name: String): Option[String] = keywords.get(name)
    1.11