#include "die.h"

ofstream TRACE_FILE;

void die_init (const string& TraceFile) {

   TRACE_FILE.open( TraceFile.c_str() );
}