--- a/src/Pure/Isar/outer_syntax.scala Mon Apr 06 17:28:07 2015 +0200
+++ b/src/Pure/Isar/outer_syntax.scala Mon Apr 06 22:11:01 2015 +0200
@@ -219,8 +219,8 @@
for (tok <- toks) {
if (tok.is_improper) improper += tok
- else if (tok.is_private ||
- tok.is_command && (!content.exists(_.is_private) || content.exists(_.is_command)))
+ else if (tok.is_command_modifier ||
+ tok.is_command && (!content.exists(_.is_command_modifier) || content.exists(_.is_command)))
{ flush(); content += tok }
else { content ++= improper; improper.clear; content += tok }
}