From 4d8525f52d08906cc26dcf6289a8360bfafbfcbe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 25 Oct 2017 18:03:11 +0200
Subject: [PATCH] Added comment for consistency.

---
 src/plasp/pddl/TranslatorASP.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index 4c0e7ec..d51b740 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -77,6 +77,7 @@ void TranslatorASP::translateDomain() const
 		translatePredicates();
 	}
 
+	// Derived predicates
 	if (!domain->derivedPredicates.empty())
 	{
 		m_outputStream << std::endl;