| Index: src/prettyprinter.cc
 | 
| diff --git a/src/prettyprinter.cc b/src/prettyprinter.cc
 | 
| index 233d7c2fabeeb21567e4124cb0ef19a34b9c6f2e..2bb7c9465861f2ee51b5342db58234790b0075bf 100644
 | 
| --- a/src/prettyprinter.cc
 | 
| +++ b/src/prettyprinter.cc
 | 
| @@ -506,7 +506,7 @@ void PrettyPrinter::Print(const char* format, ...) {
 | 
|        const int slack = 32;
 | 
|        int new_size = size_ + (size_ >> 1) + slack;
 | 
|        char* new_output = NewArray<char>(new_size);
 | 
| -      OS::MemCopy(new_output, output_, pos_);
 | 
| +      MemCopy(new_output, output_, pos_);
 | 
|        DeleteArray(output_);
 | 
|        output_ = new_output;
 | 
|        size_ = new_size;
 | 
| 
 |