src/Pure/Tools/find_theorems.ML

--- a/src/Pure/Tools/find_theorems.ML	Wed Nov 05 20:05:32 2014 +0100
+++ b/src/Pure/Tools/find_theorems.ML	Wed Nov 05 20:20:57 2014 +0100
@@ -529,7 +529,7 @@
 in
 
 fun read_query pos str =
-  Outer_Syntax.scan (Keyword.get_lexicons ()) pos str
+  Outer_Syntax.scan (Keyword.get_keywords ()) pos str
   |> filter Token.is_proper
   |> Scan.error (Scan.finite Token.stopper (Parse.!!! (query --| Scan.ahead Parse.eof)))
   |> #1;