From 4727bb5c9bd17a15741e35e650f9e38a8a15dc0b Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Fri, 9 Aug 2013 12:51:21 +0200
Subject: [PATCH] Fix coverity error 1061545

---
 Util/SimpleLogger.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Util/SimpleLogger.h b/Util/SimpleLogger.h
index 7f7db01c4..62bc945b1 100644
--- a/Util/SimpleLogger.h
+++ b/Util/SimpleLogger.h
@@ -104,7 +104,6 @@ public:
 private:
 	LogLevel level;
 	std::ostringstream os;
-	bool m_is_mute;
 };
 
 #endif /* SIMPLE_LOGGER_H_ */