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"; |