From 1530fcaf86c1f6ef04bcd8e6163c9f85d1c41abd Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 21 Oct 2022 21:10:15 +0200
Subject: [PATCH] Kill an unused declaration

---
 src/smpi/mpi/smpi_request.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smpi/mpi/smpi_request.cpp b/src/smpi/mpi/smpi_request.cpp
index 8a46eed9ff..c9d1068575 100644
--- a/src/smpi/mpi/smpi_request.cpp
+++ b/src/smpi/mpi/smpi_request.cpp
@@ -32,8 +32,6 @@ static simgrid::config::Flag<double> smpi_iprobe_sleep(
 static simgrid::config::Flag<double> smpi_test_sleep(
   "smpi/test", "Minimum time to inject inside a call to MPI_Test", 1e-4);
 
-std::vector<s_smpi_factor_t> smpi_ois_values;
-
 extern std::function<void(simgrid::kernel::activity::CommImpl*, void*, size_t)> smpi_comm_copy_data_callback;
 
 namespace simgrid::smpi {
-- 
2.20.1