1 files changed, 0 insertions, 10 deletions
diff --git a/riscv/riscv_prelude.h b/riscv/riscv_prelude.h
deleted file mode 100644
index a296c7e9..00000000
--- a/riscv/riscv_prelude.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#pragma once
-#include "sail.h"
-#include "rts.h"
-
-unit print_string(sail_string prefix, sail_string msg);
-
-unit print_instr(sail_string s);
-unit print_reg(sail_string s);
-unit print_mem_access(sail_string s);
-unit print_platform(sail_string s);