patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Removed unwanted newline.

This commit is contained in:
Patrick Lühne 2016-08-13 13:21:00 +02:00
parent c12be088c6
commit 4fc7355fba
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/plasp/sas/TranslatorASP.cpp
View File

@ -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();