Fix debug reset.

[riscv-isa-sim.git] / riscv / insn_template.h

diff --git a/riscv/insn_template.h b/riscv/insn_template.h
index 1a0fd2ee1cf67b61aa25680d72119e546437a15b..07aa16ba05ab7dc24be90239ce720ccc1dc55fc4 100644 (file)
--- a/riscv/insn_template.h
+++ b/riscv/insn_template.h
@@ -3,6 +3,7 @@
 #include "mmu.h"
 #include "mulhi.h"
 #include "softfloat.h"
-#include "platform.h" // softfloat isNaNF32UI, etc.
-#include "internals.h" // ditto
+#include "internals.h"
+#include "specialize.h"
+#include "tracer.h"
 #include <assert.h>