From b034798c622c83cdd6fc4f068ca6a86771f82014 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 8 Jun 2018 11:42:06 +0200
Subject: [PATCH] MPI_Waitany: set completed request to null.

---
 src/smpi/bindings/smpi_pmpi_request.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smpi/bindings/smpi_pmpi_request.cpp b/src/smpi/bindings/smpi_pmpi_request.cpp
index e015c6c44e..2c96d8ba15 100644
--- a/src/smpi/bindings/smpi_pmpi_request.cpp
+++ b/src/smpi/bindings/smpi_pmpi_request.cpp
@@ -684,6 +684,7 @@ int PMPI_Waitany(int count, MPI_Request requests[], int *index, MPI_Status * sta
   if(*index!=MPI_UNDEFINED){
     trace_smpi_recv_helper(&savedreqs[*index], status);
     TRACE_smpi_comm_out(rank_traced);
+    requests[*index] = MPI_REQUEST_NULL;
   }
   
   for(int i=0; i<count; i++)
-- 
2.20.1