Fix spike-dasm. (#184)

It had been broken by 90bafe660b.
9 years ago · 0020b3b924
1 changed files with 2 additions and 1 deletions
--- a/riscv/processor.cc
+++ b/riscv/processor.cc
@ -155,6 +155,7 @@ void processor_t::reset()
  if (ext)
    ext->reset(); // reset the extension

+  if (sim)
    sim->proc_reset(id);
 }