diff Copyright @ 34875:444a6a469743

Remove unnecessary if, free can be called unconditionally.
author reimar
date Wed, 23 May 2012 19:17:30 +0000
parents 6c6fb701fa8e
children f2b81cd25817
line wrap: on
line diff