1 files changed, 1 insertions, 1 deletions

diff --git a/src/include/gnunet_set_service.h b/src/include/gnunet_set_service.h
index d1e663948..6874c9ec4 100644
--- a/src/include/gnunet_set_service.h
+++ b/src/include/gnunet_set_service.h
@@ -47,7 +47,7 @@ extern "C"
 #endif
 #endif
 
-#include "gnunet_platform.h"
+
 #include "gnunet_common.h"
 #include "gnunet_time_lib.h"
 #include "gnunet_configuration_lib.h"