The source project of this merge request has been removed.
coh_PTF_output.c: add missing header
don't know why the build tests passed in git.ligo.org, but coh_PTF_output.c is missing a header.
don't know why the build tests passed in git.ligo.org, but coh_PTF_output.c is missing a header.