Fixed if condition for mpi_pool#64

tomasstolker wants to merge 1 commit intowbalmer:mainwbalmer/backtracks:mainfrom

tomasstolker:mpi_flag_fixtomasstolker/backtracks:mpi_flag_fixCopy head branch name to clipboard