diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 7c0548d..0c513a6 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -239,7 +239,6 @@ void TranslatorASP::translateAxiomRules() const
 	if (!m_description.usesAxiomRules())
 		return;
 
-	m_outputStream << std::endl;
 	m_outputStream << utils::Heading2("axiom rules");
 
 	const auto &axiomRules = m_description.axiomRules();