diff src/checker-client.cpp @ 46:d7ec0b2a8802

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