openocd: use proper format with uint32_t

[fw/openocd] / src / helper / configuration.h

diff --git a/src/helper/configuration.h b/src/helper/configuration.h
index 3cbcd41f6f252c1411b114544b2d0af6bfed2fbe..cc28efcdb73bb998971beec708f87c0a3d875055 100644 (file)
--- a/src/helper/configuration.h
+++ b/src/helper/configuration.h
@@ -32,6 +32,8 @@ void add_config_command(const char *cfg);
 
 void add_script_search_dir(const char *dir);
 
+void free_config(void);
+
 int configuration_output_handler(struct command_context *cmd_ctx,
                const char *line);