Merge pull request #4194 from tautschnig/fix-include

tautschnig · web-flow · commit bf48a10f11d3 · 2019-02-15T06:31:09.000Z
Add missing include
diff --git a/src/util/sharing_map.h b/src/util/sharing_map.h
@@ -19,6 +19,7 @@ Author: Daniel Poetzl
 #include <functional>
 #include <map>
 #include <memory>
+#include <set>
 #include <stack>
 #include <stdexcept>
 #include <string>
