diff options
Diffstat (limited to 'cpukit/score/src/userextremoveset.c')
-rw-r--r-- | cpukit/score/src/userextremoveset.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cpukit/score/src/userextremoveset.c b/cpukit/score/src/userextremoveset.c index 1b950ed6be..e90ff77e72 100644 --- a/cpukit/score/src/userextremoveset.c +++ b/cpukit/score/src/userextremoveset.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_Remove_set ( User_extensions_Control *the_extension |