add missing include on linux

2022-03-17 20:14:56 -07:00
parent 8c490304e7
commit c40beb5227
1 changed files with 1 additions and 0 deletions
@@ -5,6 +5,7 @@
 #include <map>
 #include <unordered_map>
 #include <unordered_set>
+#include <functional>
 #include <vector>
 #include <string>
 #include <memory>