diff options
Diffstat (limited to 'src/sched.c')
| -rw-r--r-- | src/sched.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/sched.c b/src/sched.c index a5064650..eb35bc8e 100644 --- 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 |