Index: src/objects-printer.cc |
diff --git a/src/objects-printer.cc b/src/objects-printer.cc |
index 183306583d051aff5fd65ec867fcdfc2a044a540..57957e602db392118bb2caa00e222d25e4ef6b2f 100644 |
--- a/src/objects-printer.cc |
+++ b/src/objects-printer.cc |
@@ -380,7 +380,7 @@ void JSObject::PrintElements(std::ostream& os) { // NOLINT |
case DICTIONARY_ELEMENTS: |
case SLOW_STRING_WRAPPER_ELEMENTS: |
- elements()->Print(os); |
+ SeededNumberDictionary::cast(elements())->Print(os); |
break; |
case FAST_SLOPPY_ARGUMENTS_ELEMENTS: |
case SLOW_SLOPPY_ARGUMENTS_ELEMENTS: { |