diff options
Diffstat (limited to '')
-rw-r--r-- | cpukit/libcsupport/src/__times.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/libcsupport/src/__times.c b/cpukit/libcsupport/src/__times.c index bebd110c4a..733befe8c9 100644 --- a/cpukit/libcsupport/src/__times.c +++ b/cpukit/libcsupport/src/__times.c @@ -41,7 +41,7 @@ clock_t _times( (void) rtems_clock_get( RTEMS_CLOCK_GET_TICKS_SINCE_BOOT, &ticks ); /* - * RTEMS technically has no notion of system versus user time + * RTEMS technically has no notion of system versus user time * since there is no separation of OS from application tasks. * But we can at least make a distinction between the number * of ticks since boot and the number of ticks executed by this |