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

Fixed minor formatting issue with axiom rules.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-22 08:45:48 +01:00
parent dc87c09442
commit 9ed7277ec9
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGELOG.md
View File

@ -2,6 +2,10 @@
## (unreleased)
Bug Fixes:
* fixes minor formatting issue with axiom rules
## 3.0.1 (2016-06-14)
Features:

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

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