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 << "\""; |
} |