1 files changed, 2 insertions, 0 deletions
diff --git a/lib/rts.h b/lib/rts.h
index 59833d5a..95425d06 100644
--- a/lib/rts.h
+++ b/lib/rts.h
@@ -126,3 +126,5 @@ int process_arguments(int, char**);
  */
 void setup_rts(void);
 void cleanup_rts(void);
+
+unit z__SetConfig(sail_string, sail_int);