1 files changed, 1 insertions, 0 deletions
diff --git a/src/vpn/gnunet-helper-vpn.c b/src/vpn/gnunet-helper-vpn.c
index 7686d51d5..08786e999 100644
--- a/src/vpn/gnunet-helper-vpn.c
+++ b/src/vpn/gnunet-helper-vpn.c
@@ -33,6 +33,7 @@
 * - Philipp Tölke
 */
 #include "platform.h"
+#include "platform.h"
 #ifdef IF_TUN_HDR
 #include IF_TUN_HDR
 #endif

diff --git a/src/vpn/gnunet-helper-vpn.c b/src/vpn/gnunet-helper-vpn.c index 7686d51d5..08786e999 100644 --- a/src/vpn/gnunet-helper-vpn.c +++ b/src/vpn/gnunet-helper-vpn.c
@@ -33,6 +33,7 @@
33	* - Philipp Tölke	33	* - Philipp Tölke
34	*/	34	*/
35	#include "platform.h"	35	#include "platform.h"
		36	#include "platform.h"
36	#ifdef IF_TUN_HDR	37	#ifdef IF_TUN_HDR
37	#include IF_TUN_HDR	38	#include IF_TUN_HDR
38	#endif	39	#endif