diff --git a/src/op.cc b/src/op.cc index a8994309..9b50c9f7 100644 --- a/src/op.cc +++ b/src/op.cc @@ -473,9 +473,11 @@ bool expr_t::op_t::print(std::ostream& out, const context_t& context) const out << "("; if (left() && left()->print(out, context)) found = true; - out << ", "; - if (has_right() && right()->print(out, context)) - found = true; + for (ptr_op_t next = right(); next; next = next->right()) { + out << ", "; + if (next->print(out, context)) + found = true; + } out << ")"; } else if (left() && left()->print(out, context)) {