diff --git a/src/tools/openmpi/openmpi.c b/src/tools/openmpi/openmpi.c index f397bddc1e..134a13c359 100644 --- a/src/tools/openmpi/openmpi.c +++ b/src/tools/openmpi/openmpi.c @@ -11,6 +11,7 @@ openmpi.c - main program for spawning persistent universe. #include #include +#include #include "ompi_config.h"