From d141f0f5128c3ca29814928a8d3d0e2d7e11341e Mon Sep 17 00:00:00 2001 From: Luiz Otavio O Souza Date: Tue, 18 Feb 2014 21:29:30 +0000 Subject: [PATCH] Remove an unnecessary header. Reported by: nwhitehorn Approved by: adrian (mentor, implicit) --- sys/dev/gpio/ofw_gpiobus.c | 1 - 1 file changed, 1 deletion(-) diff --git a/sys/dev/gpio/ofw_gpiobus.c b/sys/dev/gpio/ofw_gpiobus.c index fdd4bdfb4c0..7641b56da76 100644 --- a/sys/dev/gpio/ofw_gpiobus.c +++ b/sys/dev/gpio/ofw_gpiobus.c @@ -38,7 +38,6 @@ __FBSDID("$FreeBSD$"); #include #include -#include #include #include #include