diff options
Diffstat (limited to 'lib/rpmlead.h')
| -rw-r--r-- | lib/rpmlead.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/rpmlead.h b/lib/rpmlead.h index 0ecfb9dc5..fe32a074d 100644 --- a/lib/rpmlead.h +++ b/lib/rpmlead.h @@ -19,7 +19,8 @@ extern "C" { * @return 0 on success, 1 on error */ int writeLead(FD_t fd, const struct rpmlead *lead) - /*@modifies fd @*/; + /*@globals fileSystem@*/ + /*@modifies fd, fileSystem @*/; /** \ingroup lead * Read lead from file handle. @@ -28,7 +29,7 @@ int writeLead(FD_t fd, const struct rpmlead *lead) * @return 0 on success, 1 on error */ int readLead(FD_t fd, /*@out@*/ struct rpmlead *lead) - /*@modifies fd, *lead @*/; + /*@modifies fd, *lead, fileSystem @*/; #ifdef __cplusplus } |