From 18a3d839d768f3cb159bbac35fdaf7f039d970aa Mon Sep 17 00:00:00 2001
From: sdong <siying.d@fb.com>
Date: Tue, 5 Nov 2019 09:25:25 -0800
Subject: [PATCH] Add one more #include<functional>

---
 util/sync_point.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/util/sync_point.h b/util/sync_point.h
index 6a4629cb3..d9354e08f 100644
--- a/util/sync_point.h
+++ b/util/sync_point.h
@@ -6,6 +6,7 @@
 
 #include <assert.h>
 #include <condition_variable>
+#include <functional>
 #include <mutex>
 #include <string>
 #include <unordered_set>