From 26d66715206a5bf99cccdbe5f89bb86eb0ee7c93 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 17 Jun 2016 13:04:05 +0200
Subject: [PATCH] kill an unused static global

---
 src/smpi/smpi_memory.cpp | 1 -
 1 file changed, 1 deletion(-)

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)
 {
-- 
2.20.1