Fix debug reset.
[riscv-isa-sim.git] / riscv / insn_template.h
index f63287298e60fe330822c23fcc641fd87e30e269..07aa16ba05ab7dc24be90239ce720ccc1dc55fc4 100644 (file)
@@ -3,7 +3,7 @@
 #include "mmu.h"
 #include "mulhi.h"
 #include "softfloat.h"
+#include "internals.h"
+#include "specialize.h"
 #include "tracer.h"
-#include "platform.h" // softfloat isNaNF32UI, etc.
-#include "internals.h" // ditto
 #include <assert.h>