diff options
Diffstat (limited to 'tools/standalone_miri/value.cpp')
| -rw-r--r-- | tools/standalone_miri/value.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/standalone_miri/value.cpp b/tools/standalone_miri/value.cpp index 4318d289..7344ef46 100644 --- a/tools/standalone_miri/value.cpp +++ b/tools/standalone_miri/value.cpp @@ -15,7 +15,7 @@ ::std::ostream& operator<<(::std::ostream& os, const Allocation* x) { - os << "A(" << static_cast<const void*>(x) << " " << x->tag() << ")"; + os << "A(" << static_cast<const void*>(x) << " " << x->tag() /*<< " +" << x->size()*/ << ")"; return os; } |