diff options
Diffstat (limited to 'cpukit/score/src/userextaddset.c')
| -rw-r--r-- | cpukit/score/src/userextaddset.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cpukit/score/src/userextaddset.c b/cpukit/score/src/userextaddset.c index 09509f6da8..d24dc4a8e9 100644 --- a/cpukit/score/src/userextaddset.c +++ b/cpukit/score/src/userextaddset.c @@ -19,8 +19,7 @@ #include "config.h" #endif -#include <rtems/system.h> -#include <rtems/score/userext.h> +#include <rtems/score/userextimpl.h> void _User_extensions_Add_set( User_extensions_Control *the_extension |