diff options
author | jbj <jbj> | 2001-06-05 19:26:22 +0000 |
---|---|---|
committer | jbj <jbj> | 2001-06-05 19:26:22 +0000 |
commit | a630826c99bdf10b71b5148878f5bfb88bdf15a9 (patch) | |
tree | 676cebbed608fdbfc49949e26788baf044ad1451 /poptint.h | |
parent | 3ccd8f96a228f292d2ce6a2607718014bb07c4e2 (diff) | |
download | libpopt-a630826c99bdf10b71b5148878f5bfb88bdf15a9.tar.gz |
- fix typos in linux.{req,prov}.
Diffstat (limited to 'poptint.h')
-rw-r--r-- | poptint.h | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -14,7 +14,10 @@ * @param p memory to free * @retval NULL always */ -/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * p) { +/*@unused@*/ static inline /*@null@*/ void * +_free(/*@only@*/ /*@null@*/ const void * p) + /*@modifies p @*/ +{ if (p != NULL) free((void *)p); return NULL; } |