Fix bug in mpi_set_bit
3 files changed