From c82d881df4a727ab0839787ec8d089c261e79537 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 14 Feb 2019 14:29:11 +0000
Subject: [PATCH] Add missing include

The implementation uses std::set.
---
 src/util/sharing_map.h | 1 +
 1 file changed, 1 insertion(+)

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>