# HG changeset patch
# User wenzelm
# Date 1390664799 -3600
# Node ID 6cac9fbf9b79f6bd36139a9c926b9c03b4bd0be0
# Parent  fb10f6ce0c1638f112ef8cec96853d33e999bf71
semicolon is minor keyword (see also 29f1e53f9937);

diff -r fb10f6ce0c16 -r 6cac9fbf9b79 src/Pure/Isar/token.scala
--- a/src/Pure/Isar/token.scala	Sat Jan 25 16:45:13 2014 +0100
+++ b/src/Pure/Isar/token.scala	Sat Jan 25 16:46:39 2014 +0100
@@ -108,7 +108,7 @@
     else source
 
   def text: (String, String) =
-    if (is_command && source == ";") ("terminator", "")
+    if (is_keyword && source == ";") ("terminator", "")
     else (kind.toString, source)
 }