From 6a3fe6edeb8257b148578355943db2eeef1568dd Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Fri, 11 Mar 2011 12:59:55 +0000
Subject: [PATCH] Added sanity check for the case when empty table was cleared.

---
 DataStructures/HashTable.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DataStructures/HashTable.h b/DataStructures/HashTable.h
index 9d58e04d0..068863c2a 100644
--- a/DataStructures/HashTable.h
+++ b/DataStructures/HashTable.h
@@ -52,6 +52,7 @@ public:
 		return true;
 	}
 	void EraseAll() {
+	    if(table.size() > 0)
 		table.clear();
 	}
 private: