diff -r 67c4004495f2 -r 3ba399ecdfaf src/Pure/Tools/find_consts.ML
--- a/src/Pure/Tools/find_consts.ML	Wed Oct 20 09:31:37 2021 +0200
+++ b/src/Pure/Tools/find_consts.ML	Wed Oct 20 10:47:34 2021 +0200
@@ -140,8 +140,7 @@
   Parse.reserved "strict" |-- Parse.!!! (Parse.$$$ ":" |-- Parse.typ) >> Strict ||
   Parse.typ >> Loose;
 
-val query_keywords =
-  Keyword.add_keywords [((":", \<^here>), Keyword.no_spec)] Keyword.empty_keywords;
+val query_keywords = Keyword.add_minor_keywords [":"] Keyword.empty_keywords;
 
 in