From 87e0f074e848a96112b3a6b02a600dd1b1c37169 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 3e4509362..491bb7007 100644
--- a/Library/OSRM.cpp
+++ b/Library/OSRM.cpp
@@ -20,9 +20,7 @@ or see http://www.gnu.org/licenses/agpl.txt.
 
 #include "OSRM.h"
 
-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 df2c8ad93..4713565e5 100644
--- a/Library/OSRM.h
+++ b/Library/OSRM.h
@@ -62,7 +62,6 @@ private:
     BaseDataFacade<QueryEdge::EdgeData> * query_data_facade;
 
     PluginMap plugin_map;
-    const bool use_shared_memory;
 };
 
 #endif //OSRM_H