Tried to fix some problems with the configuration system.

[splint.git] / src / Headers / general.h

diff --git a/src/Headers/general.h b/src/Headers/general.h
index e711a6834e6aef757cf305c753ce8de20b193dd1..e6a590982bfb7bb81d0903eb5ccf856c713e1487 100644 (file)
--- a/src/Headers/general.h
+++ b/src/Headers/general.h
@@ -19,7 +19,7 @@
 # ifdef USEDMALLOC
 # define sfree(x) do { if (x != NULL) free(x); } while (FALSE)
 # else
-extern void sfree (/*@out@*/ /*@only@*/ /*@null@*/ void *p_x) /*@modifies *p_x@*/; 
+extern void sfree (/*@out@*/ /*@only@*/ /*@null@*/ void *p_x) /*@modifies p_x@*/; 
 # endif
 
 # include "misc.h"