diff --git a/src/util/sharing_map.h b/src/util/sharing_map.h
index ecae777392e..40c404dea44 100644
--- 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>