diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsdestroyserver.c')
| -rw-r--r-- | cpukit/score/src/schedulercbsdestroyserver.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/cpukit/score/src/schedulercbsdestroyserver.c b/cpukit/score/src/schedulercbsdestroyserver.c index 5030b6f098..8fb1b7eb8e 100644 --- a/cpukit/score/src/schedulercbsdestroyserver.c +++ b/cpukit/score/src/schedulercbsdestroyserver.c @@ -19,10 +19,8 @@ #include "config.h" #endif -#include <rtems/system.h> -#include <rtems/config.h> -#include <rtems/score/scheduler.h> #include <rtems/score/schedulercbs.h> +#include <rtems/score/wkspace.h> int _Scheduler_CBS_Destroy_server ( Scheduler_CBS_Server_id server_id |