Output pointer values correctly for 64-bit systems

This commit is contained in:
John Wiegley 2009-10-27 04:00:35 -04:00
parent 7fae606d62
commit 5ddb0e9bfb

View file

@ -637,7 +637,7 @@ bool expr_t::op_t::print(std::ostream& out, const context_t& context) const
void expr_t::op_t::dump(std::ostream& out, const int depth) const
{
out.setf(std::ios::left);
out.width(10);
out.width((sizeof(void *) * 2) + 2);
out << this;
for (int i = 0; i < depth; i++)