From 30c4b5265dcb6bfed8fb817709fff166a5a52821 Mon Sep 17 00:00:00 2001
From: Martin Michelsen <fuzziqersoftware+g@gmail.com>
Date: Sun, 8 May 2022 00:42:30 -0700
Subject: [PATCH] add missing header on linux

---
 src/FileContentsCache.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/FileContentsCache.hh b/src/FileContentsCache.hh
index 10605a98..65245c18 100644
--- a/src/FileContentsCache.hh
+++ b/src/FileContentsCache.hh
@@ -3,6 +3,7 @@
 #include <memory>
 #include <string>
 #include <unordered_map>
+#include <functional>
 
 using namespace std;