diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c index 84ee04d3f..93609b433 100644 --- a/c_emulator/riscv_sim.c +++ b/c_emulator/riscv_sim.c @@ -740,9 +740,7 @@ int compare_states(struct tv_spike_t *s) void flush_logs(void) { if (config_print_instr) { - fprintf(stderr, "\n"); fflush(stderr); - fprintf(trace_log, "\n"); fflush(trace_log); } }