From cb4e0f299acf0842db9c185c15158b96c1dacbd2 Mon Sep 17 00:00:00 2001
From: Tavmjong Bah <tavmjong@free.fr>
Date: Thu, 4 Apr 2019 14:43:23 +0200
Subject: Reorganize document.h.

---
 src/io/resource-manager.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/io/resource-manager.cpp')

diff --git a/src/io/resource-manager.cpp b/src/io/resource-manager.cpp
index 308aca8a9..406157ebd 100644
--- a/src/io/resource-manager.cpp
+++ b/src/io/resource-manager.cpp
@@ -9,6 +9,7 @@
 
 #include <string>
 #include <vector>
+#include <set>
 #include <algorithm>
 
 #include <gtkmm/recentmanager.h>
-- 
cgit v1.2.3