diff options
Diffstat (limited to '')
-rw-r--r-- | cpukit/score/src/userext.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/userext.c b/cpukit/score/src/userext.c index 6730e81219..6261220d58 100644 --- a/cpukit/score/src/userext.c +++ b/cpukit/score/src/userext.c @@ -15,7 +15,7 @@ */ #include <rtems/system.h> -#include <rtems/core/userext.h> +#include <rtems/score/userext.h> /*PAGE * |