diff options
Diffstat (limited to 'timespec_str.c')
| -rw-r--r-- | timespec_str.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/timespec_str.c b/timespec_str.c index 6adadd7d..5af8a825 100644 --- a/timespec_str.c +++ b/timespec_str.c @@ -36,11 +36,10 @@ * So 21 digits like this: "-2147483647.123456789" * */ -void timespec_str(const struct timespec *ts, /*@out@*/char *buf, size_t buf_size) +void timespec_str(const struct timespec *ts, char *buf, size_t buf_size) { char sign = ' '; - /*@-type@*//* splint is confused about timespec*/ if ( (0 > ts->tv_nsec ) || ( 0 > ts->tv_sec ) ) { sign = '-'; } @@ -48,7 +47,6 @@ void timespec_str(const struct timespec *ts, /*@out@*/char *buf, size_t buf_size sign, (long)labs(ts->tv_sec), (long)labs(ts->tv_nsec)); - /*@+type@*/ } /* end */ |