src/Pure/Isar/line_structure.scala
changeset 68730 0bc491938780
parent 66177 7fd83f20e3e9
     1.1 --- a/src/Pure/Isar/line_structure.scala	Tue Jul 31 21:11:24 2018 +0200
     1.2 +++ b/src/Pure/Isar/line_structure.scala	Tue Jul 31 21:21:20 2018 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  {
     1.5    def update(keywords: Keyword.Keywords, tokens: List[Token]): Line_Structure =
     1.6    {
     1.7 -    val improper1 = tokens.forall(_.is_improper)
     1.8 +    val improper1 = tokens.forall(tok => !tok.is_proper)
     1.9      val blank1 = tokens.forall(_.is_space)
    1.10      val command1 = tokens.exists(_.is_begin_or_command)
    1.11