2 files changed, 6 insertions, 6 deletions
diff --git a/lib/rts.c b/lib/rts.c
index f5426814..e4f72b6f 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -6,6 +6,8 @@
 #include"rts.h"
 #include"elf.h"
 
+static uint64_t g_elf_entry;
+
 void sail_match_failure(sail_string msg)
 {
   fprintf(stderr, "Pattern match failure in %s\n", msg);
@@ -236,6 +238,10 @@ void load_image(char *file)
 
 // ***** Tracing support *****
 
+static int64_t g_trace_depth;
+//static int64_t g_trace_max_depth;
+static bool g_trace_enabled;
+
 unit enable_tracing(const unit u)
 {
   g_trace_depth = 0;
diff --git a/lib/rts.h b/lib/rts.h
index 78387ab4..59833d5a 100644
--- a/lib/rts.h
+++ b/lib/rts.h
@@ -63,10 +63,6 @@ void load_image(char *);
 
 /* ***** Tracing ***** */
 
-static int64_t g_trace_depth;
-static int64_t g_trace_max_depth;
-static bool g_trace_enabled;
-
 /*
  * Bind these functions in Sail to enable and disable tracing (see
  * lib/trace.sail):
@@ -119,8 +115,6 @@ unit cycle_count(const unit);
  * Functions to get info from ELF files.
  */
 
-static uint64_t g_elf_entry;
-
 void elf_entry(sail_int *rop, const unit u);
 void elf_tohost(sail_int *rop, const unit u);