diff options
| -rw-r--r-- | gnu/usr.bin/man/man/man.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 9ce1703..f34851a 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -539,7 +539,7 @@ is_section (name, path) x = 0; vs = glob_filename (temp); - if ((int)vs == -1) + if ((intptr_t)vs == -1) { free (temp); return NULL; |
