| Index: src/prettyprinter.cc
 | 
| diff --git a/src/prettyprinter.cc b/src/prettyprinter.cc
 | 
| index 36860a36f922d684d1d0f9929d5d112d2a133a51..ed85e33c3b4da9083cd1fb3a503cf8a8428415b7 100644
 | 
| --- a/src/prettyprinter.cc
 | 
| +++ b/src/prettyprinter.cc
 | 
| @@ -1105,7 +1105,7 @@ void JsonAstBuilder::AddAttributePrefix(const char* name) {
 | 
|  
 | 
|  
 | 
|  void JsonAstBuilder::AddAttribute(const char* name, Handle<String> value) {
 | 
| -  SmartPointer<char> value_string = value->ToCString();
 | 
| +  SmartArrayPointer<char> value_string = value->ToCString();
 | 
|    AddAttributePrefix(name);
 | 
|    Print("\"%s\"", *value_string);
 | 
|  }
 | 
| 
 |