Index: src/objects-printer.cc |
diff --git a/src/objects-printer.cc b/src/objects-printer.cc |
index fb6643a2129e9619f9adf23e3ce7f4d535883b8f..8c7e9914a29f9af9326348ed370cd69d5358c87b 100644 |
--- a/src/objects-printer.cc |
+++ b/src/objects-printer.cc |
@@ -416,6 +416,7 @@ void Map::MapPrint(std::ostream& os) { // NOLINT |
<< pre_allocated_property_fields() << "\n"; |
os << " - unused property fields: " << unused_property_fields() << "\n"; |
if (is_deprecated()) os << " - deprecated_map\n"; |
+ if (is_stable()) os << " - stable_map\n"; |
if (is_dictionary_map()) os << " - dictionary_map\n"; |
if (is_prototype_map()) { |
os << " - prototype_map\n"; |