diff options
Diffstat (limited to 'src/gui_index.h')
-rw-r--r-- | src/gui_index.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gui_index.h b/src/gui_index.h index 2f5c1a56..33594e8e 100644 --- a/src/gui_index.h +++ b/src/gui_index.h @@ -51,6 +51,7 @@ extern int write_indexamajig_script(const char *script_filename, const char *stdout_filename, const char *stderr_filename, const char *harvest_filename, + const char *mille_filename, const char *serial_start, struct peak_params *peak_search_params, struct index_params *indexing_params, |