diff options
Diffstat (limited to '')
-rw-r--r-- | cpukit/score/src/wkspace.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index f4be68651c..f168e91d62 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -17,8 +17,8 @@ */ #include <rtems/system.h> -#include <rtems/core/wkspace.h> -#include <rtems/core/interr.h> +#include <rtems/score/wkspace.h> +#include <rtems/score/interr.h> /*PAGE * |