| Index: src/wasm/wasm-module.h
|
| diff --git a/src/wasm/wasm-module.h b/src/wasm/wasm-module.h
|
| index bfedbff61fb720e5c66da75fa5ed300544e19a63..91ae91c287d53db356bea138a7becf2e15efb464 100644
|
| --- a/src/wasm/wasm-module.h
|
| +++ b/src/wasm/wasm-module.h
|
| @@ -421,6 +421,9 @@ int32_t GrowWebAssemblyMemory(Isolate* isolate,
|
| int32_t GrowMemory(Isolate* isolate, Handle<WasmInstanceObject> instance,
|
| uint32_t pages);
|
|
|
| +void DetachWebAssemblyMemoryBuffer(Isolate* isolate,
|
| + Handle<JSArrayBuffer> buffer);
|
| +
|
| void UpdateDispatchTables(Isolate* isolate, Handle<FixedArray> dispatch_tables,
|
| int index, Handle<JSFunction> js_function);
|
|
|
|
|