From 7eef177b3f41f33d55ac1af36433a16c29aa4750 Mon Sep 17 00:00:00 2001
From: Michael Chirico <chiricom@google.com>
Date: Tue, 3 Oct 2023 11:48:12 -0700
Subject: [PATCH] Include missing headers (#517)

* Include missing headers

* Update vroom_write.cc

* revert
---
 src/vroom_write.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/vroom_write.cc b/src/vroom_write.cc
index 9cc7d954..e399acee 100644
--- a/src/vroom_write.cc
+++ b/src/vroom_write.cc
@@ -1,5 +1,6 @@
 #include "grisu3.h"
 #include <array>
+#include <functional>
 #include <future>
 #include <iterator>