From 0c5936ad3827f47f9ea8749967a52cf702752bbf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 5 Sep 2016 00:39:12 +0200
Subject: [PATCH] Noted to-do.

---
 include/plasp/pddl/expressions/NAry.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/plasp/pddl/expressions/NAry.h b/include/plasp/pddl/expressions/NAry.h
index befc097..5529577 100644
--- a/include/plasp/pddl/expressions/NAry.h
+++ b/include/plasp/pddl/expressions/NAry.h
@@ -181,6 +181,7 @@ inline ExpressionPointer NAry<Derived>::simplified()
 	}
 
 	// TODO: recognize tautologies
+	// TODO: introduce handle boolean values
 
 	return this;
 }