Add debug module authentication.

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

diff --git a/riscv/insn_template.h b/riscv/insn_template.h
index 56a9c7fc2d399a6942c91637d6ea78bb7bd476cb..07aa16ba05ab7dc24be90239ce720ccc1dc55fc4 100644 (file)
--- a/riscv/insn_template.h
+++ b/riscv/insn_template.h
@@ -1,6 +1,9 @@
+// See LICENSE for license details.
+
 #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>