diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsdestroyserver.c')
| -rw-r--r-- | cpukit/score/src/schedulercbsdestroyserver.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cpukit/score/src/schedulercbsdestroyserver.c b/cpukit/score/src/schedulercbsdestroyserver.c index d536e711d8..e03294dcd3 100644 --- a/cpukit/score/src/schedulercbsdestroyserver.c +++ b/cpukit/score/src/schedulercbsdestroyserver.c @@ -21,7 +21,6 @@ #endif #include <rtems/score/schedulercbs.h> -#include <rtems/score/wkspace.h> int _Scheduler_CBS_Destroy_server ( Scheduler_CBS_Server_id server_id |