src/Pure/Isar/outer_syntax.scala
changeset 63459 8d68204d97d7
parent 63458 723f9c673c1c
child 63460 f41070510341
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Tue Jul 12 13:26:39 2016 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Tue Jul 12 14:13:42 2016 +0200
     1.3 @@ -160,7 +160,8 @@
     1.4        }
     1.5  
     1.6      val depth1 =
     1.7 -      if (tokens.exists(keywords.is_command(_, Keyword.theory))) 0
     1.8 +      if (tokens.exists(tok =>
     1.9 +            keywords.is_before_command(tok) || keywords.is_command(tok, Keyword.theory))) 0
    1.10        else if (command_depth.isDefined) command_depth.get
    1.11        else if (command1) structure.after_span_depth
    1.12        else structure.span_depth