2 files changed, 2 insertions, 1 deletions
diff --git a/lib/rts.c b/lib/rts.c
index 0c20d40f..656c86f7 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -391,7 +391,7 @@ int process_arguments(int argc, char *argv[])
             // do nothing
         } else {
           fprintf(stderr, "Could not parse argument %s\n", optarg);
-          // z__ListConfig();
+          z__ListConfig(UNIT);
           return -1;
         };
         mpz_t s_value;
diff --git a/lib/rts.h b/lib/rts.h
index 95425d06..86b7f1f1 100644
--- a/lib/rts.h
+++ b/lib/rts.h
@@ -128,3 +128,4 @@ void setup_rts(void);
 void cleanup_rts(void);
 
 unit z__SetConfig(sail_string, sail_int);
+unit z__ListConfig(const unit u);