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