From 104f7165cd382e6abf54426579e671043a5d4b71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 6 Sep 2016 21:47:03 +0200
Subject: [PATCH] Fixed compiler error occurring in debug mode only.

---
 include/plasp/pddl/expressions/Quantified.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/plasp/pddl/expressions/Quantified.h b/include/plasp/pddl/expressions/Quantified.h
index e7a1701..abf9a71 100644
--- a/include/plasp/pddl/expressions/Quantified.h
+++ b/include/plasp/pddl/expressions/Quantified.h
@@ -149,8 +149,6 @@ inline ExpressionPointer Quantified<Derived>::simplified()
 
 	auto &quantifiedExpression = dynamic_cast<Derived &>(*m_argument);
 
-	BOOST_ASSERT(!quantifiedExpression.arguments().empty());
-
 	// Unify variables
 	m_variables.insert(m_variables.end(), quantifiedExpression.variables().begin(), quantifiedExpression.variables().end());