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