Remove gdbserver support.

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

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