diff --git a/frontend/frontend.h b/frontend/frontend.h
index 5329d0c25d..e01b7be74d 100644
--- a/frontend/frontend.h
+++ b/frontend/frontend.h
@@ -27,6 +27,8 @@ extern "C" {
 #endif
 
 void main_exit(args_type() args);
+    
+void main_exit_save_config(void);
 
 returntype main_entry(signature());