diff options
Diffstat (limited to 'tools/convertdb1.c')
| -rw-r--r-- | tools/convertdb1.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/convertdb1.c b/tools/convertdb1.c index ed2148299..41bbbdc52 100644 --- a/tools/convertdb1.c +++ b/tools/convertdb1.c @@ -67,7 +67,7 @@ static FD_t fadOpen(const char * path) Fclose(fd); return NULL; } - /*@-refcounttrans@*/ return fd /*@=refcounttrans@*/ ; + return fd ; } static int fadNextOffset(FD_t fd, unsigned int lastOffset) |