1 files changed, 0 insertions, 32 deletions
diff --git a/riscv/riscv_prelude.c b/riscv/riscv_prelude.c
deleted file mode 100644
index 16219137..00000000
--- a/riscv/riscv_prelude.c
+++ /dev/null
@@ -1,32 +0,0 @@
-#include "riscv_prelude.h"
-#include "riscv_config.h"
-
-unit print_string(sail_string prefix, sail_string msg)
-{
-  printf("%s%s\n", prefix, msg);
-  return UNIT;
-}
-
-unit print_instr(sail_string s)
-{
-  if (config_print_instr) printf("%s\n", s);
-  return UNIT;
-}
-
-unit print_reg(sail_string s)
-{
-  if (config_print_reg) printf("%s\n", s);
-  return UNIT;
-}
-
-unit print_mem_access(sail_string s)
-{
-  if (config_print_mem_access) printf("%s\n", s);
-  return UNIT;
-}
-
-unit print_platform(sail_string s)
-{
-  if (config_print_platform) printf("%s\n", s);
-  return UNIT;
-}