changeset 58903 | 38c72f5f6c2e |
parent 58893 | 9e0ecb66d6a7 |
child 58905 | 55160ef37e8f |
--- 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;