aboutsummaryrefslogtreecommitdiff
path: root/c_emulator/riscv_prelude.h
diff options
context:
space:
mode:
Diffstat (limited to 'c_emulator/riscv_prelude.h')
-rw-r--r--c_emulator/riscv_prelude.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/c_emulator/riscv_prelude.h b/c_emulator/riscv_prelude.h
index da292fe..9ac33aa 100644
--- a/c_emulator/riscv_prelude.h
+++ b/c_emulator/riscv_prelude.h
@@ -1,6 +1,7 @@
#pragma once
#include "sail.h"
#include "rts.h"
+#include "riscv_softfloat.h"
unit print_string(sail_string prefix, sail_string msg);