From 9ed7277ec9ef1ea45975caac43fb470ea70411b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 22 Jun 2016 08:45:48 +0100
Subject: [PATCH] Fixed minor formatting issue with axiom rules.

---
 CHANGELOG.md                    | 4 ++++
 src/plasp/sas/TranslatorASP.cpp | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0c7d95c..8ad4a40 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 ## (unreleased)
 
+Bug Fixes:
+
+* fixes minor formatting issue with axiom rules
+
 ## 3.0.1 (2016-06-14)
 
 Features:
diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index bd9dd51..12b3231 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -230,7 +230,7 @@ void TranslatorASP::translateMutexes() const
 
 void TranslatorASP::translateAxiomRules() const
 {
-	if (!m_description.usesActionCosts())
+	if (!m_description.usesAxiomRules())
 		return;
 
 	m_outputStream << std::endl;