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;