changeset 40457 | 3b0050718b31 |
parent 40454 | 2516ea25a54b |
child 40478 | 4bae781b8f7c |
--- a/src/Pure/Thy/thy_syntax.scala Wed Nov 10 15:41:29 2010 +0100 +++ b/src/Pure/Thy/thy_syntax.scala Wed Nov 10 15:42:20 2010 +0100 @@ -59,7 +59,7 @@ { syntax.heading_level(command) match { case Some(i) => - close(_ > i) + close(_ >= i) stack = (i, command.source, buffer()) :: stack case None => }