From c2af84a80089d0c3559cfe33bafb88bacc8588d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sun, 4 Sep 2016 23:52:06 +0200
Subject: [PATCH] Removed redundant normalization statement.

---
 src/plasp/pddl/expressions/Not.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plasp/pddl/expressions/Not.cpp b/src/plasp/pddl/expressions/Not.cpp
index 7ca4e57..34e85a5 100644
--- a/src/plasp/pddl/expressions/Not.cpp
+++ b/src/plasp/pddl/expressions/Not.cpp
@@ -68,7 +68,7 @@ ExpressionPointer Not::negationNormalized()
 	{
 		auto &argument = dynamic_cast<Not &>(*m_argument);
 
-		return argument.m_argument->negationNormalized();
+		return argument.m_argument;
 	}
 
 	// De Morgan for negative conjunctions