src/Pure/Isar/outer_syntax.scala
changeset 58853 f8715e7c1be6
parent 58753 960bf499ca5d
child 58868 c5e1cce7ace3
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Fri Oct 31 21:35:11 2014 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Fri Oct 31 21:48:40 2014 +0100
     1.3 @@ -129,7 +129,7 @@
     1.4      val keywords1 = keywords + (name -> kind)
     1.5      val lexicon1 = lexicon + name
     1.6      val completion1 =
     1.7 -      if (Keyword.control(kind._1) || replace == Some("")) completion
     1.8 +      if (replace == Some("")) completion
     1.9        else completion + (name, replace getOrElse name)
    1.10      new Outer_Syntax(keywords1, lexicon1, completion1, language_context, true)
    1.11    }