diff options
| author | Peter Wemm <peter@FreeBSD.org> | 2003-10-26 04:12:02 +0000 |
|---|---|---|
| committer | Peter Wemm <peter@FreeBSD.org> | 2003-10-26 04:12:02 +0000 |
| commit | 59a2e5b3fadce55076e39178e7524c3e08119f2d (patch) | |
| tree | 99160d68a7c4739401bbe99cbcc218c8daf95be6 /gnu | |
| parent | 10a498be8f1e08c83eb7dd5ea8f0f3240904d5bd (diff) | |
Notes
Diffstat (limited to 'gnu')
| -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 9ce170368a1ec..f34851a2345a7 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; |
