1 files changed, 5 insertions, 2 deletions
diff --git a/lib/rts.c b/lib/rts.c
index fa8830e4..bab788af 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -2,6 +2,7 @@
 
 #include"sail.h"
 #include"rts.h"
+#include"elf.h"
 
 void sail_match_failure(sail_string msg)
 {
@@ -303,11 +304,13 @@ void trace_end(void)
 
 /* ***** ELF functions ***** */
 
-void elf_entry(mpz_t *rop, const unit u) {
+void elf_entry(mpz_t *rop, const unit u)
+{
   mpz_set_ui(*rop, g_elf_entry);
 }
 
-void elf_tohost(mpz_t *rop, const unit u) {
+void elf_tohost(mpz_t *rop, const unit u)
+{
   mpz_set_ui(*rop, 0x0ul);
 }