#include <finalizer.h>

/*
 * Custom finalizer for Player objects so that we can also close
 * the file we opened in order to call dd_newPlayer_file().
 */
void
player_finalize(FILE *file, ddPlayer *player)
{
	dd_destroyPlayer(player);
	(void)fclose(file);
}