| Index: src/objects.h
|
| diff --git a/src/objects.h b/src/objects.h
|
| index 56b54323f0cf59711e6ee9047eb5524b29ca0020..fbb25e001f2cfce862a86f6e3ea777517dbb136e 100644
|
| --- a/src/objects.h
|
| +++ b/src/objects.h
|
| @@ -1873,7 +1873,8 @@ class JSObject: public JSReceiver {
|
| // Returns the index'th element.
|
| // The undefined object if index is out of bounds.
|
| MUST_USE_RESULT MaybeObject* GetElementWithInterceptor(Object* receiver,
|
| - uint32_t index);
|
| + uint32_t index,
|
| + Isolate* isolate);
|
|
|
| enum SetFastElementsCapacitySmiMode {
|
| kAllowSmiElements,
|
|
|