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

Minor formatting.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-23 14:24:00 +02:00
parent 0724963c32
commit 6e37721243
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -176,7 +176,7 @@ void TranslatorASP::translate(std::ostream &ostream) const
{ {
const auto &mutexGroup = mutexGroups[i]; const auto &mutexGroup = mutexGroups[i];
ostream << std::endl << "mutexGroup(mutexGroup" << i << ")."; ostream << std::endl << "mutexGroup(mutexGroup" << i << ")." << std::endl;
const auto &facts = mutexGroup.facts(); const auto &facts = mutexGroup.facts();