1 files changed, 1 insertions, 0 deletions

diff --git a/src/hello/hello-uri.c b/src/hello/hello-uri.c
index dd191738f..b51545b95 100644
--- a/src/hello/hello-uri.c
+++ b/src/hello/hello-uri.c
@@ -35,6 +35,7 @@
  *   the TGZ.
  */
 #include "platform.h"
+#include "platform.h"
 #include "gnunet_signatures.h"
 #include "gnunet_hello_uri_lib.h"
 #include "gnunet_protocols.h"