| Index: src/objects-printer.cc
|
| diff --git a/src/objects-printer.cc b/src/objects-printer.cc
|
| index fb40a4fa517761a6850537182a855e4694cea33e..fc72800d16e68b2bc34e304d698c8786013affbd 100644
|
| --- a/src/objects-printer.cc
|
| +++ b/src/objects-printer.cc
|
| @@ -408,6 +408,7 @@ void Map::MapPrint(std::ostream& os) { // NOLINT
|
| os << "\n - pre-allocated property fields: "
|
| << pre_allocated_property_fields() << "\n";
|
| os << " - unused property fields: " << unused_property_fields() << "\n";
|
| + if (is_deprecated()) os << " - deprecated_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";
|
|
|