# HG changeset patch
# User wenzelm
# Date 1413915517 -7200
# Node ID 6de7dbaf3c44002674c1cd1759d1bf0d4a1187c1
# Parent  1b4b005d73c1fab0c5f21044bd8b79596dcac3e9
proper token kind;

diff -r 1b4b005d73c1 -r 6de7dbaf3c44 src/Pure/Isar/token.scala
--- a/src/Pure/Isar/token.scala	Tue Oct 21 19:20:48 2014 +0200
+++ b/src/Pure/Isar/token.scala	Tue Oct 21 20:18:37 2014 +0200
@@ -190,7 +190,7 @@
     source.startsWith(Symbol.open_decoded))
 
   def is_begin: Boolean = is_keyword && source == "begin"
-  def is_end: Boolean = is_keyword && source == "end"
+  def is_end: Boolean = is_command && source == "end"
 
   def content: String =
     if (kind == Token.Kind.STRING) Scan.Parsers.quoted_content("\"", source)