diff options
| author | jbj <jbj> | 2007-11-04 15:57:20 +0000 |
|---|---|---|
| committer | jbj <jbj> | 2007-11-04 15:57:20 +0000 |
| commit | ae848058027bfc28de459b4f9e0d60431815cc3e (patch) | |
| tree | 17f2b8158b115c86cd5d09d95871b118e5d48895 /popt.h | |
| parent | 6a38a7e33aca951d054c78d2625de4133102e029 (diff) | |
| download | libpopt-ae848058027bfc28de459b4f9e0d60431815cc3e.tar.gz | |
- jbj: rescuscitate the splint annotations.
Diffstat (limited to 'popt.h')
| -rw-r--r-- | popt.h | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -486,7 +486,7 @@ void poptSetExecPath(poptContext con, const char * path, int allowAbsolute) */ void poptPrintHelp(poptContext con, FILE * fp, /*@unused@*/ int flags) /*@globals fileSystem @*/ - /*@modifies *fp, fileSystem @*/; + /*@modifies fp, fileSystem @*/; /** \ingroup popt * Print terse description of options. @@ -496,7 +496,7 @@ void poptPrintHelp(poptContext con, FILE * fp, /*@unused@*/ int flags) */ void poptPrintUsage(poptContext con, FILE * fp, /*@unused@*/ int flags) /*@globals fileSystem @*/ - /*@modifies *fp, fileSystem @*/; + /*@modifies fp, fileSystem @*/; /** \ingroup popt * Provide text to replace default "[OPTION...]" in help/usage output. |