Commit a9b2aa30 authored by benjamin.franksen's avatar benjamin.franksen
Browse files

should not return NULL from void function

parent 31eb034d
......@@ -504,7 +504,7 @@ void pbuf_free(pbuf *b) /*@EXI*/
if (b->magic!= PBUF_MAGIC)
{ printf("%s pbuf not initialized!!\n",me);
for(i=0, e= b->pbufs; i< b->buf_no; i++, e++)
{ pbuf_elm_free(e); };
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment