From d8d4e4375ed8f57639887dedd8e80cfd51cc71a7 Mon Sep 17 00:00:00 2001 From: Cadence Ember Date: Mon, 24 Oct 2022 18:13:14 +1300 Subject: [PATCH] Fix imports in wiki name downloader --- misc/download-wiki-names.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/misc/download-wiki-names.rkt b/misc/download-wiki-names.rkt index ff8fff9..96a8f9a 100644 --- a/misc/download-wiki-names.rkt +++ b/misc/download-wiki-names.rkt @@ -5,8 +5,8 @@ json net/http-easy html-parsing - "src/xexpr-utils.rkt" - "src/url-utils.rkt") + "../src/xexpr-utils.rkt" + "../src/url-utils.rkt") (define output-file "wiki-names.json") (define limit "5000")