From 9956988938625400960b650e32a6b8129a144dc6 Mon Sep 17 00:00:00 2001
From: Patrick Niklaus <patrick.niklaus@student.kit.edu>
Date: Mon, 4 Jan 2016 12:15:38 +0100
Subject: [PATCH] Fix naming in datstore

---
 src/tools/datastore.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/tools/datastore.cpp b/src/tools/datastore.cpp
index 262e095ce..899fba4c7 100644
--- a/src/tools/datastore.cpp
+++ b/src/tools/datastore.cpp
@@ -37,7 +37,7 @@ using QueryGraph = StaticGraph<QueryEdge::EdgeData>;
 #include <string>
 
 // delete a shared memory region. report warning if it could not be deleted
-void delete_region(const SharedDataType region)
+void deleteRegion(const SharedDataType region)
 {
     if (SharedMemory::RegionExists(region) && !SharedMemory::Remove(region))
     {
@@ -552,8 +552,8 @@ int main(const int argc, const char *argv[]) try
     data_timestamp_ptr->layout = layout_region;
     data_timestamp_ptr->data = data_region;
     data_timestamp_ptr->timestamp += 1;
-    delete_region(previous_data_region);
-    delete_region(previous_layout_region);
+    deleteRegion(previous_data_region);
+    deleteRegion(previous_layout_region);
     SimpleLogger().Write() << "all data loaded";
 
     shared_layout_ptr->PrintInformation();