From 6a900ed6e734cb6142237d81b045a74b30b6d0b5 Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Wed, 9 Oct 2013 17:34:48 +0200
Subject: [PATCH] remove unneeded member

---
 Library/OSRM.cpp | 4 +---
 Library/OSRM.h   | 1 -
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/Library/OSRM.cpp b/Library/OSRM.cpp
index 403288341..8879947be 100644
--- a/Library/OSRM.cpp
+++ b/Library/OSRM.cpp
@@ -29,9 +29,7 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 #include "OSRM.h"
 #include <boost/foreach.hpp>
 
-OSRM::OSRM(const char * server_ini_path, const bool use_shared_memory) :
-    use_shared_memory(use_shared_memory)
-{
+OSRM::OSRM(const char * server_ini_path, const bool use_shared_memory) {
 
     if( !testDataFile(server_ini_path) ){
         std::string error_message(server_ini_path);
diff --git a/Library/OSRM.h b/Library/OSRM.h
index 397a4f385..f9ab08a4b 100644
--- a/Library/OSRM.h
+++ b/Library/OSRM.h
@@ -73,7 +73,6 @@ private:
     BaseDataFacade<QueryEdge::EdgeData> * query_data_facade;
 
     PluginMap plugin_map;
-    const bool use_shared_memory;
 };
 
 #endif //OSRM_H