diff options
Diffstat (limited to 'tools/src/h5diff/ph5diff_main.c')
| -rw-r--r-- | tools/src/h5diff/ph5diff_main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/src/h5diff/ph5diff_main.c b/tools/src/h5diff/ph5diff_main.c index 87221fd..380ab3b 100644 --- a/tools/src/h5diff/ph5diff_main.c +++ b/tools/src/h5diff/ph5diff_main.c @@ -304,7 +304,7 @@ void print_manager_output(void) * *------------------------------------------------------------------------- */ -void h5diff_exit(int H5_ATTR_UNUSED status) +void h5diff_exit(int status) { /* if in parallel mode, dismiss workers, close down MPI, then exit */ if(g_Parallel) { |