model-checker : use XBT_DEBUG instead of XBT_INFO

[simgrid.git] / src / smpi / smpi_base.c

diff --git a/src/smpi/smpi_base.c b/src/smpi/smpi_base.c
index 29b8eb7..4d58f24 100644 (file)
--- a/src/smpi/smpi_base.c
+++ b/src/smpi/smpi_base.c
@@ -461,10 +461,8 @@ void smpi_mpi_iprobe(int source, int tag, MPI_Comm comm, int* flag, MPI_Status*
     if(status != MPI_STATUS_IGNORE) {
       status->MPI_SOURCE = req->src;
       status->MPI_TAG = req->tag;
-      if(req->size == request->size)
-        status->MPI_ERROR = MPI_SUCCESS;
-      else status->MPI_ERROR = MPI_ERR_TRUNCATE;
-      status->count = request->size;
+      status->MPI_ERROR = MPI_SUCCESS;
+      status->count = req->size;
     }
   }
   else *flag = 0;