From e8bc69aa013939d89cc584d484fdc7235f12e2cf Mon Sep 17 00:00:00 2001
From: Patrick Niklaus <patrick.niklaus@student.kit.edu>
Date: Mon, 4 Jan 2016 12:46:25 +0100
Subject: [PATCH] Fix naming in springclean

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

diff --git a/src/tools/springclean.cpp b/src/tools/springclean.cpp
index 40c0f8065..2535478a5 100644
--- a/src/tools/springclean.cpp
+++ b/src/tools/springclean.cpp
@@ -5,7 +5,7 @@
 #include "util/version.hpp"
 #include "util/simple_logger.hpp"
 
-void delete_region(const SharedDataType region)
+void deleteRegion(const SharedDataType region)
 {
     if (SharedMemory::RegionExists(region) && !SharedMemory::Remove(region))
     {
@@ -38,11 +38,11 @@ void delete_region(const SharedDataType region)
 void springclean()
 {
     SimpleLogger().Write() << "spring-cleaning all shared memory regions";
-    delete_region(DATA_1);
-    delete_region(LAYOUT_1);
-    delete_region(DATA_2);
-    delete_region(LAYOUT_2);
-    delete_region(CURRENT_REGIONS);
+    deleteRegion(DATA_1);
+    deleteRegion(LAYOUT_1);
+    deleteRegion(DATA_2);
+    deleteRegion(LAYOUT_2);
+    deleteRegion(CURRENT_REGIONS);
 }
 
 int main()