From 5ddb0e9bfbf3432a1078adc550484e5b8a151f34 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Tue, 27 Oct 2009 04:00:35 -0400
Subject: [PATCH] Output pointer values correctly for 64-bit systems

---
 src/op.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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++)