From 756788511529b9da651c5f0af29251f83c5a2cd2 Mon Sep 17 00:00:00 2001
From: Kevin O'Connor <kevin@koconnor.net>
Date: Sat, 14 Jan 2017 10:49:38 -0500
Subject: sched: Minor change - remove unneeded header files

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
---
 src/sched.c | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/sched.c')

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
-- 
cgit v1.2.3-70-g09d2