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