src/Pure/Isar/outer_syntax.scala
changeset 63865 ccac33e291b1
parent 63604 d8de4f8b95eb
child 63867 fb46c031c841
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Tue Sep 13 20:51:14 2016 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Wed Sep 14 12:12:44 2016 +0200
     1.3 @@ -94,8 +94,8 @@
     1.4    def ++ (other: Outer_Syntax): Outer_Syntax =
     1.5      if (this eq other) this
     1.6      else {
     1.7 -      val keywords1 = keywords ++ other.asInstanceOf[Outer_Syntax].keywords
     1.8 -      val completion1 = completion ++ other.asInstanceOf[Outer_Syntax].completion
     1.9 +      val keywords1 = keywords ++ other.keywords
    1.10 +      val completion1 = completion ++ other.completion
    1.11        if ((keywords eq keywords1) && (completion eq completion1)) this
    1.12        else new Outer_Syntax(keywords1, completion1, language_context, has_tokens)
    1.13      }