Chromium Code Reviews| Index: src/objects-printer.cc | 
| diff --git a/src/objects-printer.cc b/src/objects-printer.cc | 
| index e009c9b0f7ff14932a2466b9fcc6940cfb93a7e1..e596bcff70d013308f95216a3a2f55e15b06ec8c 100644 | 
| --- a/src/objects-printer.cc | 
| +++ b/src/objects-printer.cc | 
| @@ -850,6 +850,8 @@ void String::StringPrint(std::ostream& os) { // NOLINT | 
| os << "#"; | 
| } else if (StringShape(this).IsCons()) { | 
| os << "c\""; | 
| + } else if (StringShape(this).IsThin()) { | 
| + os << ">\""; | 
| } else { | 
| os << "\""; | 
| } |