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

Fixed output of 0-ary predicates.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-21 02:31:47 +02:00
parent e714060112
commit 57a64f3af9
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plasp/sas/Predicate.cpp
View File

@ -15,6 +15,9 @@ namespace sas
std::ostream &operator <<(std::ostream &ostream, const Predicate &predicate) std::ostream &operator <<(std::ostream &ostream, const Predicate &predicate)
{ {
if (predicate.arguments.empty())
return (ostream << predicate.name);
ostream << predicate.name << "("; ostream << predicate.name << "(";
for (size_t i = 0; i < predicate.arguments.size(); i++) for (size_t i = 0; i < predicate.arguments.size(); i++)