Index: src/objects.h |
diff --git a/src/objects.h b/src/objects.h |
index a0e77cb86dbd63a8bff729b21e37a57878b8a619..f325a3d5ec5621c5fce58c0ce41105c0c9314dc3 100644 |
--- a/src/objects.h |
+++ b/src/objects.h |
@@ -1928,6 +1928,10 @@ class JSObject: public JSReceiver { |
FILE* file, ElementsKind from_kind, FixedArrayBase* from_elements, |
ElementsKind to_kind, FixedArrayBase* to_elements); |
+ void RecordElementsTransition( |
+ ElementsKind from_kind, FixedArrayBase* from_elements, |
+ ElementsKind to_kind, FixedArrayBase* to_elements); |
+ |
#ifdef DEBUG |
// Structure for collecting spill information about JSObjects. |
class SpillInformation { |