src/Pure/Tools/find_theorems.ML

--- a/src/Pure/Tools/find_theorems.ML	Fri Jul 08 22:22:51 2016 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Sun Jul 10 11:18:35 2016 +0200
@@ -521,7 +521,8 @@
   Parse.reserved "simp" |-- Parse.!!! (Parse.$$$ ":" |-- Parse.term) >> Simp ||
   Parse.term >> Pattern;
 
-val query_keywords = Keyword.add_keywords [((":", @{here}), NONE)] Keyword.empty_keywords;
+val query_keywords =
+  Keyword.add_keywords [((":", @{here}), Keyword.no_spec)] Keyword.empty_keywords;
 
 in