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

Hiding mutex group section in output if there are none.

This commit is contained in:
Patrick Lühne 2016-08-30 13:02:00 +02:00
parent 76f8df13fc
commit be376a9ffb
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -33,8 +33,12 @@ void TranslatorASP::translate() const
translateVariables();
m_outputStream << std::endl;
translateActions();
m_outputStream << std::endl;
translateMutexes();
if (!m_description.mutexGroups().empty())
{
m_outputStream << std::endl;
translateMutexes();
}
if (m_description.usesAxiomRules())
{