wmlib: remove wrong free highlighted by commit 65dc99d805
commitbb7d9b48bd5c09e625f5454fa1d9394bcdd5a20e
authorChristophe CURIS <christophe.curis@free.fr>
Sat, 17 May 2014 14:43:25 +0000 (17 16:43 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Sat, 17 May 2014 14:59:47 +0000 (17 15:59 +0100)
tree42a9e924cac06ddc247c426a9427b71d31afd902
parentff1e6f827308f08bae4af1fea6dc81b0c94fa457
wmlib: remove wrong free highlighted by commit 65dc99d805

It is really unlikely that the free(menu) was the correct thing, it is more
likely that it was a typo instead of the appropriate 'free(menu)':
It would be excessive behaviour to free the complete menu only because an
entry cannot be added, and even if it were the case that would not be the
right way to do it because it would leak all the entries already allocated
for it.
(This fixes Coverity #50154 and #50155)

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
wmlib/menu.c