From cc0b9726ed3713152c3a77105b30b0610510f477 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 9 Sep 2016 13:38:15 +0200
Subject: [PATCH] Added to-do.

---
 src/plasp/sas/TranslatorASP.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 229072c..a1ee73f 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -271,6 +271,8 @@ void TranslatorASP::translateAxiomRules() const
 				<< utils::Number(axiomRuleID)
 				<< "))." << std::endl;
 
+			// TODO: Translate axiom rule layer
+
 			const auto &conditions = axiomRule.conditions();
 
 			std::for_each(conditions.cbegin(), conditions.cend(),