diff options
Diffstat (limited to 'cpukit/rtems/src/taskrestart.c')
-rw-r--r-- | cpukit/rtems/src/taskrestart.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cpukit/rtems/src/taskrestart.c b/cpukit/rtems/src/taskrestart.c index 40ad3806b9..66f4604b53 100644 --- a/cpukit/rtems/src/taskrestart.c +++ b/cpukit/rtems/src/taskrestart.c @@ -31,7 +31,6 @@ #include <rtems/score/tod.h> #include <rtems/score/wkspace.h> #include <rtems/score/apiext.h> -#include <rtems/score/sysstate.h> rtems_status_code rtems_task_restart( rtems_id id, |