patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Remove unintended period at end of lines

Browse Source 
The integer specifier lines in the output weren’t intended to be
followed by a period. This removes the period to make the format
consistent with the other formulas in the output.
This commit is contained in:
Patrick Lühne 2018-04-22 22:12:43 +02:00
parent d3e160222a
commit 6015b225a2
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
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/anthem/Translation.cpp
View File

@ -155,7 +155,7 @@ void translate(const char *fileName, std::istream &stream, Context &context)
<< "(" << predicateDeclaration->name << "(" << predicateDeclaration->name
<< "/" << output::Number(predicateDeclaration->arity()) << "/" << output::Number(predicateDeclaration->arity())
<< "@" << output::Number(i + 1) << "@" << output::Number(i + 1)
<< ")." << std::endl; << ")" << std::endl;
} }
} }
} }