From 83b5774d1ace232f766fc4aea5a28fb23f742e15 Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Tue, 12 Jul 2011 14:04:27 +0000
Subject: [PATCH] Safe delete

---
 typedefs.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/typedefs.h b/typedefs.h
index a6977a82e..dcf98f18c 100644
--- a/typedefs.h
+++ b/typedefs.h
@@ -42,6 +42,8 @@ using namespace std;
 #define ERR(x) std::cerr << "[error " << __FILE__ << ":" << __LINE__ << "] " << x << std::endl; exit(-1);
 #define WARN(x) std::cerr << "[warn " << __FILE__ << ":" << __LINE__ << "] " << x << std::endl;
 
+#define DELETE(x) { if(NULL != x) { delete x; x = NULL; } }
+
 typedef unsigned int NodeID;
 typedef unsigned int EdgeID;
 typedef unsigned int EdgeWeight;