| Index: src/objects-printer.cc
|
| diff --git a/src/objects-printer.cc b/src/objects-printer.cc
|
| index 1b31c1bfffe7a4408889e3527a0797e516c9ea63..1ebad49809039dc96507034797546e932db942dc 100644
|
| --- a/src/objects-printer.cc
|
| +++ b/src/objects-printer.cc
|
| @@ -415,6 +415,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";
|
| if (is_hidden_prototype()) os << " - hidden_prototype\n";
|
|
|