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