We have to free the pointer not the content of the pointer (confirmed

with the standard).

This commit was SVN r5327.

src/mpi/c/free_mem.c

@@ -45,8 +45,7 @@ int MPI_Free_mem(void *baseptr)
     }
 
     /* For this release, we're just calling malloc(). */
-
-    free(*((void **) baseptr));
+    free( baseptr );
 
     /* All done */