From cd538a428601ea4d4fdfc56878abe3edf18b36cc Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Thu, 9 Apr 2020 17:28:32 +0200
Subject: [PATCH] Fix build

---
 generate-programs-index.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/generate-programs-index.cc b/generate-programs-index.cc
index 2ffa670..4c2f30e 100644
--- a/generate-programs-index.cc
+++ b/generate-programs-index.cc
@@ -10,7 +10,6 @@
 #include "get-drvs.hh"
 #include "thread-pool.hh"
 #include "sqlite.hh"
-#include "download.hh"
 #include "binary-cache-store.hh"
 
 #include "file-cache.hh"