sched: Minor change - remove unneeded header files

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
2017-01-14 10:49:38 -05:00
parent ed715ec437
commit 7567885115
4 changed files with 1 additions and 5 deletions
--- a/src/sched.c
+++ b/src/sched.c
@@ -5,8 +5,6 @@
 // This file may be distributed under the terms of the GNU GPLv3 license.

 #include <setjmp.h> // setjmp
-#include <stdarg.h> // va_list
-#include <stddef.h> // NULL
 #include "autoconf.h" // CONFIG_*
 #include "board/irq.h" // irq_save
 #include "board/misc.h" // timer_from_us