Output pointer values correctly for 64-bit systems

1 files changed, 1 insertions, 1 deletions

diff --git a/src/op.cc b/src/op.cc
index f1ba61e2..2e098392 100644
--- a/src/op.cc
+++ b/src/op.cc
@@ -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++)