#ifdef HAVE_CONFIG_H
#include <config.h>
#endif

# include "psphot.h"

void psphotCleanup (pmConfig *config) {

    psFree (config);

    psTimerStop ();
    psMemCheckCorruption (true);
    pmModelGroupCleanup ();
    psTimeFinalize ();
    pmConceptsDone ();
    pmConfigDone ();
    fprintf (stderr, "found %d leaks at %s\n", psMemCheckLeaks (0, NULL, NULL, false), "psphot");
    // fprintf (stderr, "found %d leaks at %s\n", psMemCheckLeaks (0, NULL, stdout, false), "psphot");
    return;
}
