From 3bc12a8f5ade29161ca356f60f79c2283ebf2f5c Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 26 Jan 2016 11:16:56 +0100 Subject: Delete unused API extensions --- cpukit/rtems/src/taskinitusers.c | 1 - 1 file changed, 1 deletion(-) (limited to 'cpukit/rtems/src/taskinitusers.c') diff --git a/cpukit/rtems/src/taskinitusers.c b/cpukit/rtems/src/taskinitusers.c index 4403cc43e1..81b6c042cb 100644 --- a/cpukit/rtems/src/taskinitusers.c +++ b/cpukit/rtems/src/taskinitusers.c @@ -28,7 +28,6 @@ #include #include #include -#include static void _RTEMS_Global_construction( rtems_task_argument arg ) { -- cgit v1.2.3