Fix builds on Debian wheezy.

Fixes #5596

diff --git a/lib/db_ido/dbtype.h b/lib/db_ido/dbtype.h
index 3d4c206f6d162bd55aaaf438b7fa7c519b87fa57..3dde295570489ef66930dcdaf272cd81a1457b3f 100644 (file)
--- a/lib/db_ido/dbtype.h
+++ b/lib/db_ido/dbtype.h
@@ -24,6 +24,7 @@
 #include "base/object.h"
 #include "base/registry.h"
 #include "base/singleton.h"
+#include <set>
 
 namespace icinga
 {