--- a/src/HOL/SPARK/Tools/fdl_lexer.ML Wed Mar 21 23:41:22 2012 +0100
+++ b/src/HOL/SPARK/Tools/fdl_lexer.ML Thu Mar 22 10:10:02 2012 +0100
@@ -96,7 +96,6 @@
val lexicon = Scan.make_lexicon (map raw_explode
["rule_family",
- "title",
"For",
":",
"[",