fix Downloads in ch08

2022-03-25 11:34:31 +01:00 · 2022-03-25 11:34:31 +01:00 · e736e3bed8
commit e736e3bed8
parent c1b56b22b0
1 changed files with 4 additions and 3 deletions
--- a/ch08.jl
+++ b/ch08.jl
@ -4,11 +4,12 @@

 # Code for section 8.1

+import Downloads
 if isfile("puzzles.csv.bz2")
    @info "file already present"
 else
    @info "fetching file"
-    download("https://database.lichess.org/" *
+    Downloads.download("https://database.lichess.org/" *
                       "lichess_db_puzzle.csv.bz2",
                       "puzzles.csv.bz2")
 end