On Tuesday 22 May 2007 14:24:14 Steve Peters wrote: > free() assumes its passed a void *. mem_sys_free() should take the same > type of argument. Assuming that what you are passing to free() will never > be modified is a bit risky and may prevent various memory debugging aids > from working correctly.
Hm, good point. Note that this reverts r18579, but I'm applying this one to make up for it. Thanks, applied as r18650. -- c
