Merge branch 'master' into new_ui

[factor.git] / basis / ui / tools / search / search.factor

diff --git a/basis/ui/tools/search/search.factor b/basis/ui/tools/search/search.factor
index 89a5ccea84c222f519a99020404e014eca47ae9a..a8f70cf76d003300063d709dc604b7518f07c8d1 100644 (file)
--- a/basis/ui/tools/search/search.factor
+++ b/basis/ui/tools/search/search.factor
@@ -1,6 +1,6 @@
 ! Copyright (C) 2006, 2008 Slava Pestov.
 ! See http://factorcode.org/license.txt for BSD license.
-USING: accessors assocs help help.topics io.files io.styles
+USING: accessors assocs help help.topics io.pathnames io.styles
 kernel models models.delay models.filter namespaces prettyprint
 quotations sequences sorting source-files definitions strings
 tools.completion tools.apropos tools.crossref classes.tuple