diff options
Diffstat (limited to 'src/main/ShutdownCactus.c')
| -rw-r--r-- | src/main/ShutdownCactus.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/ShutdownCactus.c b/src/main/ShutdownCactus.c index 1e61224c..df7a347e 100644 --- a/src/main/ShutdownCactus.c +++ b/src/main/ShutdownCactus.c @@ -13,13 +13,14 @@ #include <stdio.h> #include <stdlib.h> +#include "cctk_Capabilities.h" #include "cctk_Flesh.h" #include "cctk_Misc.h" #include "cctk_Parameters.h" #include "cctk_Schedule.h" #ifdef CCTK_MPI -#include "mpi.h" +# include "mpi.h" #endif static const char *rcsid = "$Header$"; |