summaryrefslogtreecommitdiff
path: root/poptint.h
diff options
context:
space:
mode:
authorjbj <jbj>2001-06-05 19:26:22 +0000
committerjbj <jbj>2001-06-05 19:26:22 +0000
commita630826c99bdf10b71b5148878f5bfb88bdf15a9 (patch)
tree676cebbed608fdbfc49949e26788baf044ad1451 /poptint.h
parent3ccd8f96a228f292d2ce6a2607718014bb07c4e2 (diff)
downloadlibpopt-a630826c99bdf10b71b5148878f5bfb88bdf15a9.tar.gz
- fix typos in linux.{req,prov}.
Diffstat (limited to 'poptint.h')
-rw-r--r--poptint.h5
1 files changed, 4 insertions, 1 deletions
diff --git a/poptint.h b/poptint.h
index 59841e0..fe8430b 100644
--- a/poptint.h
+++ b/poptint.h
@@ -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;
}