src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Mon Jul 11 14:25:06 2016 +0200
+++ b/src/Pure/Isar/token.scala	Mon Jul 11 16:36:29 2016 +0200
@@ -257,10 +257,6 @@
   def is_begin: Boolean = is_keyword && source == "begin"
   def is_end: Boolean = is_command && source == "end"
 
-  // FIXME avoid hard-wired stuff
-  def is_command_modifier: Boolean =
-    is_keyword && (source == "public" || source == "private" || source == "qualified")
-
   def content: String =
     if (kind == Token.Kind.STRING) Scan.Parsers.quoted_content("\"", source)
     else if (kind == Token.Kind.ALT_STRING) Scan.Parsers.quoted_content("`", source)