1 files changed, 1 insertions, 0 deletions
diff --git a/src/exit/gnunet-helper-exit.c b/src/exit/gnunet-helper-exit.c
index 4f32ea1f1..b4b2b0822 100644
--- a/src/exit/gnunet-helper-exit.c
+++ b/src/exit/gnunet-helper-exit.c
@@ -42,6 +42,7 @@
 * - Philipp Tölke
 */
 #include "platform.h"
+#include "platform.h"
 #ifdef IF_TUN_HDR
 #include IF_TUN_HDR

diff --git a/src/exit/gnunet-helper-exit.c b/src/exit/gnunet-helper-exit.c index 4f32ea1f1..b4b2b0822 100644 --- a/src/exit/gnunet-helper-exit.c +++ b/src/exit/gnunet-helper-exit.c
@@ -42,6 +42,7 @@
42	* - Philipp Tölke	42	* - Philipp Tölke
43	*/	43	*/
44	#include "platform.h"	44	#include "platform.h"
		45	#include "platform.h"
45		46
46	#ifdef IF_TUN_HDR	47	#ifdef IF_TUN_HDR
47	#include IF_TUN_HDR	48	#include IF_TUN_HDR