| Index: src/objects-printer.cc
|
| diff --git a/src/objects-printer.cc b/src/objects-printer.cc
|
| index 339c69904802465936b8dfb8b89cb6255e336e81..7127dacad35faaea4a187ccd0fcdbad8852f1507 100644
|
| --- a/src/objects-printer.cc
|
| +++ b/src/objects-printer.cc
|
| @@ -457,7 +457,7 @@ void Map::MapPrint(std::ostream& os) { // NOLINT
|
| if (is_deprecated()) os << "\n - deprecated_map";
|
| if (is_stable()) os << "\n - stable_map";
|
| if (is_dictionary_map()) os << "\n - dictionary_map";
|
| - if (is_hidden_prototype()) os << "\n - hidden_prototype";
|
| + if (has_hidden_prototype()) os << "\n - has_hidden_prototype";
|
| if (has_named_interceptor()) os << " - named_interceptor";
|
| if (has_indexed_interceptor()) os << "\n - indexed_interceptor";
|
| if (is_undetectable()) os << "\n - undetectable";
|
|
|