*/
#include "config.h"
-#ifdef FIRM_STATISTICS
-
#include <stdio.h>
#include <stdlib.h>
{
pattern_dumper_t *res = XMALLOC(pattern_dumper_t);
- memcpy(res, &stdout_dump, sizeof(*res));
+ *res = stdout_dump;
res->data = stdout;
if (res->dump_start)
return res;
} /* new_vcg_dumper */
-
-#endif /* FIRM_STATISTICS */