From 6c585cf11d8f9dd51bc836fbc008eb64e4a59127 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <hyd_danmar@users.sourceforge.net>
Date: Tue, 8 May 2007 15:58:02 +0000
Subject: [PATCH] Updated warning message. Shorter and simpler

---
 main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.cpp b/main.cpp
index f554ef2be..b9bf8a078 100644
--- a/main.cpp
+++ b/main.cpp
@@ -1098,7 +1098,7 @@ void WarningRedundantCode()
         if (err)
         {
             std::ostringstream ostr;
-            ostr << FileLine(tok) << ": Redundant condition. It is allowed to deallocate a NULL pointer, so it is safe to remove the 'if(..)'.";
+            ostr << FileLine(tok) << ": Redundant condition. It is safe to deallocate a NULL pointer";
             ReportErr(ostr.str());
         }
     }