diff checker/checkcode.h @ 46:d7ec0b2a8802

Free the correct thing (I think!)
author Chris Cannam
date Mon, 03 Sep 2018 15:49:03 +0100
parents 49946b02414e
children dd193244d97d
line wrap: on
line diff