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/score/src/threaddispatch.c | 1 - 1 file changed, 1 deletion(-) (limited to 'cpukit/score/src/threaddispatch.c') diff --git a/cpukit/score/src/threaddispatch.c b/cpukit/score/src/threaddispatch.c index 00c2f095a2..dc3c796718 100644 --- a/cpukit/score/src/threaddispatch.c +++ b/cpukit/score/src/threaddispatch.c @@ -21,7 +21,6 @@ #endif #include -#include #include #include #include -- cgit v1.2.3