diff options
Diffstat (limited to 'src/gui_ambi.h')
| -rw-r--r-- | src/gui_ambi.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gui_ambi.h b/src/gui_ambi.h index 06bafe64..fcc7762b 100644 --- a/src/gui_ambi.h +++ b/src/gui_ambi.h @@ -45,7 +45,8 @@ extern int write_ambigator_script(const char *filename, const char *stderr_filename, const char *fg_filename, const char *intermediate_rel_filename, - const char *harvest_filename); + const char *harvest_filename, + const char *prologue); extern double read_ambigator_progress(char *logfile_str, int niter); |