diff options
Diffstat (limited to 'lib/manifest.h')
| -rw-r--r-- | lib/manifest.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/manifest.h b/lib/manifest.h index d62d74f6a..77a9fa5b7 100644 --- a/lib/manifest.h +++ b/lib/manifest.h @@ -15,8 +15,12 @@ extern "C" { * @param mode file mode * @return (malloc'd) formatted mode string */ +/*@-incondefs@*/ +/*@only@*/ char * rpmPermsString(int mode) - /*@*/; + /*@*/ + /*@ensures maxSet(result) == 10 /\ maxRead(result) == 10 @*/; +/*@=incondefs@*/ /** * Read manifest, glob items, and append to existing args. |