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;
 }