diff options
Diffstat (limited to 'cpukit/score')
-rw-r--r-- | cpukit/score/src/wkspace.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index 771b93c2d2..887fa77b45 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -19,7 +19,6 @@ #include <rtems/config.h> #include <rtems/score/wkspace.h> #include <rtems/score/interr.h> -#include <rtems/config.h> #include <string.h> /* for memset */ |