diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/exec/score/src/wkspace.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/c/src/exec/score/src/wkspace.c b/c/src/exec/score/src/wkspace.c index f4be68651c..f168e91d62 100644 --- a/c/src/exec/score/src/wkspace.c +++ b/c/src/exec/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 * |