Fixed problem with openmpi MPI_GROUP_NULL

2015-10-02 12:07:53 -04:00
parent 78dfce4889
commit 13d66d43ab
1 changed files with 1 additions and 1 deletions
@@ -118,7 +118,7 @@ Domain::~Domain()
    // Free id
    delete [] id;
    // Free the communicator
-    if ( Group!=MPI_COMM_NULL ) {
+    if ( Group!=MPI_GROUP_NULL ) {
        MPI_Group_free(&Group);
        MPI_Comm_free(&Comm);
    }