From 6a653c367effec80993743cdcc8c8e34c148b776 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Thu, 4 Jan 2018 15:33:22 +0100
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 e6d7b18..ab23601 100644
--- a/generate-programs-index.cc
+++ b/generate-programs-index.cc
@@ -7,7 +7,6 @@
 #include "globals.hh"
 #include "eval.hh"
 #include "store-api.hh"
-#include "common-opts.hh"
 #include "get-drvs.hh"
 #include "thread-pool.hh"
 #include "sqlite.hh"