From 9b9048af86158afc799ac4513b299d119240004d Mon Sep 17 00:00:00 2001
From: mariem <mariem.charrada@ml-pa.com>
Date: Wed, 22 Sep 2021 14:01:41 +0200
Subject: [PATCH] sys/auto_init: change gnrc ipv6 and tcp types.

---
 sys/auto_init/auto_init.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sys/auto_init/auto_init.c b/sys/auto_init/auto_init.c
index d64698370e..6adf58cf01 100644
--- a/sys/auto_init/auto_init.c
+++ b/sys/auto_init/auto_init.c
@@ -21,7 +21,7 @@
  */
 #include <stdint.h>
 #include <stdio.h>
-
+#include "sched.h"
 #include "auto_init.h"
 #include "kernel_defines.h"
 #include "log.h"
@@ -90,7 +90,7 @@ void auto_init(void)
     }
     if (IS_USED(MODULE_AUTO_INIT_GNRC_IPV6)) {
         LOG_DEBUG("Auto init gnrc_ipv6.\n");
-        extern void gnrc_ipv6_init(void);
+        extern kernel_pid_t gnrc_ipv6_init(void);
         gnrc_ipv6_init();
     }
     if (IS_USED(MODULE_AUTO_INIT_GNRC_UDP)) {
@@ -100,7 +100,7 @@ void auto_init(void)
     }
     if (IS_USED(MODULE_AUTO_INIT_GNRC_TCP)) {
         LOG_DEBUG("Auto init gnrc_tcp.\n");
-        extern void gnrc_tcp_init(void);
+        extern int gnrc_tcp_init(void);
         gnrc_tcp_init();
     }
     if (IS_USED(MODULE_AUTO_INIT_LWIP)) {