diff options
Diffstat (limited to 'rpmio/rpmio_api.c')
| -rw-r--r-- | rpmio/rpmio_api.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rpmio/rpmio_api.c b/rpmio/rpmio_api.c index af0afd3b9..a12899835 100644 --- a/rpmio/rpmio_api.c +++ b/rpmio/rpmio_api.c @@ -13,9 +13,12 @@ /*@access FD_t@*/ +/*@-redef@*/ +int fdFileno(void * cookie); /* Yet Another Prototype. */ int fdFileno(void * cookie) { FD_t fd; if (cookie == NULL) return -2; fd = c2f(cookie); return fd->fps[0].fdno; } +/*@=redef@*/ |