14 files changed, 14 insertions, 0 deletions

diff --git a/src/set/gnunet-service-set.c b/src/set/gnunet-service-set.c
index 208c63a1a..7c522ec34 100644
--- a/src/set/gnunet-service-set.c
+++ b/src/set/gnunet-service-set.c
@@ -23,6 +23,7 @@
  * @author Florian Dold
  * @author Christian Grothoff
  */
+#include "platform.h"
 #include "gnunet-service-set.h"
 #include "gnunet-service-set_union.h"
 #include "gnunet-service-set_intersection.h"
diff --git a/src/set/gnunet-service-set_intersection.c b/src/set/gnunet-service-set_intersection.c
index 51a8d0dbc..59287fe25 100644
--- a/src/set/gnunet-service-set_intersection.c
+++ b/src/set/gnunet-service-set_intersection.c
@@ -24,6 +24,7 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_statistics_service.h"
 #include "gnunet-service-set.h"
diff --git a/src/set/gnunet-service-set_union.c b/src/set/gnunet-service-set_union.c
index 3a2bc8bd7..68ba88a1e 100644
--- a/src/set/gnunet-service-set_union.c
+++ b/src/set/gnunet-service-set_union.c
@@ -24,6 +24,7 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_statistics_service.h"
 #include "gnunet-service-set.h"
diff --git a/src/set/gnunet-service-set_union_strata_estimator.c b/src/set/gnunet-service-set_union_strata_estimator.c
index 6de9fb5eb..20261e7b1 100644
--- a/src/set/gnunet-service-set_union_strata_estimator.c
+++ b/src/set/gnunet-service-set_union_strata_estimator.c
@@ -24,6 +24,7 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "ibf.h"
 #include "gnunet-service-set_union_strata_estimator.h"
diff --git a/src/set/gnunet-set-ibf-profiler.c b/src/set/gnunet-set-ibf-profiler.c
index 944b63d30..eb789b383 100644
--- a/src/set/gnunet-set-ibf-profiler.c
+++ b/src/set/gnunet-set-ibf-profiler.c
@@ -25,6 +25,7 @@
  */
 
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 
 #include "ibf.h"
diff --git a/src/set/gnunet-set-profiler.c b/src/set/gnunet-set-profiler.c
index 3014861a6..f6e04dfe7 100644
--- a/src/set/gnunet-set-profiler.c
+++ b/src/set/gnunet-set-profiler.c
@@ -24,6 +24,7 @@
  * @author Florian Dold
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_statistics_service.h"
 #include "gnunet_set_service.h"
diff --git a/src/set/ibf.c b/src/set/ibf.c
index 0f7eb6a9f..b6fb52b6b 100644
--- a/src/set/ibf.c
+++ b/src/set/ibf.c
@@ -24,6 +24,7 @@
  * @author Florian Dold
  */
 
+#include "platform.h"
 #include "ibf.h"
 
 /**
diff --git a/src/set/ibf_sim.c b/src/set/ibf_sim.c
index 6415d00e1..563ed0fb8 100644
--- a/src/set/ibf_sim.c
+++ b/src/set/ibf_sim.c
@@ -26,6 +26,7 @@
  * This code was used for some internal experiments, it is not
  * build or shipped as part of the GNUnet system.
  */
+#include "platform.h"
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
diff --git a/src/set/plugin_block_set_test.c b/src/set/plugin_block_set_test.c
index cb5cef5ad..137b040b9 100644
--- a/src/set/plugin_block_set_test.c
+++ b/src/set/plugin_block_set_test.c
@@ -25,6 +25,7 @@
  */
 
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_block_plugin.h"
 #include "gnunet_block_group_lib.h"
 
diff --git a/src/set/set_api.c b/src/set/set_api.c
index 4f73ff06c..22c99f278 100644
--- a/src/set/set_api.c
+++ b/src/set/set_api.c
@@ -24,6 +24,7 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_protocols.h"
 #include "gnunet_set_service.h"
diff --git a/src/set/test_set_api.c b/src/set/test_set_api.c
index d1afdd354..067c57531 100644
--- a/src/set/test_set_api.c
+++ b/src/set/test_set_api.c
@@ -24,6 +24,7 @@
  * @author Florian Dold
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_testing_lib.h"
 #include "gnunet_set_service.h"
diff --git a/src/set/test_set_intersection_result_full.c b/src/set/test_set_intersection_result_full.c
index 42dedb846..035e5b5a5 100644
--- a/src/set/test_set_intersection_result_full.c
+++ b/src/set/test_set_intersection_result_full.c
@@ -25,6 +25,7 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_testing_lib.h"
 #include "gnunet_set_service.h"
diff --git a/src/set/test_set_union_copy.c b/src/set/test_set_union_copy.c
index 908527017..3825f817d 100644
--- a/src/set/test_set_union_copy.c
+++ b/src/set/test_set_union_copy.c
@@ -24,6 +24,7 @@
  * @author Florian Dold
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_common.h"
 #include "gnunet_testing_lib.h"
diff --git a/src/set/test_set_union_result_symmetric.c b/src/set/test_set_union_result_symmetric.c
index b6c7a82f6..3344fa2f4 100644
--- a/src/set/test_set_union_result_symmetric.c
+++ b/src/set/test_set_union_result_symmetric.c
@@ -25,6 +25,7 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_testing_lib.h"
 #include "gnunet_set_service.h"