From b018ea7b1ba33591b4f9626a3e2af635503c7c13 Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Mon, 23 Sep 2013 18:02:45 +0200
Subject: [PATCH] Give all data types in shared memory

---
 Server/DataStructures/SharedDataType.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Server/DataStructures/SharedDataType.h b/Server/DataStructures/SharedDataType.h
index e9a9c948a..0ca7e5771 100644
--- a/Server/DataStructures/SharedDataType.h
+++ b/Server/DataStructures/SharedDataType.h
@@ -33,8 +33,8 @@ enum SharedDataType {
     GRAPH_EDGE_LIST,
     GRAPH_EDGE_LIST_SIZE,
     CHECK_SUM,
-    TIME_STAMP,
-    TIME_STAMP_SIZE,
+    TIMESTAMP,
+    TIMESTAMP_SIZE,
     COORDINATE_LIST,
     COORDINATE_LIST_SIZE,
     TURN_INSTRUCTION_LIST,