From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 17 Jun 2016 11:04:05 +0000 (+0200)
Subject: kill an unused static global
X-Git-Tag: v3_14~968
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/26d66715206a5bf99cccdbe5f89bb86eb0ee7c93?hp=025dffb868b00121f2c9e270386b0ea2375620df

kill an unused static global
---

diff --git a/src/smpi/smpi_memory.cpp b/src/smpi/smpi_memory.cpp
index 79634769a5..6893833f44 100644
--- a/src/smpi/smpi_memory.cpp
+++ b/src/smpi/smpi_memory.cpp
@@ -22,7 +22,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_memory, smpi, "Memory layout support for SM
 
 static const int PROT_RWX = (PROT_READ | PROT_WRITE | PROT_EXEC);
 static const int PROT_RW  = (PROT_READ | PROT_WRITE );
-static const int PROT_RX  = (PROT_READ | PROT_EXEC );
 
 void smpi_get_executable_global_size(void)
 {