diff options
| -rw-r--r-- | src/shell-interface.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/shell-interface.h b/src/shell-interface.h index fbc0740c5..23f1c7de5 100644 --- a/src/shell-interface.h +++ b/src/shell-interface.h @@ -91,6 +91,7 @@ struct ShellExternalInterface : ModuleInstance::ExternalInterface { std::vector<Name> table; ShellExternalInterface() : memory() {} + virtual ~ShellExternalInterface() = default; void init(Module& wasm, ModuleInstance& instance) override { memory.resize(wasm.memory.initial * wasm::Memory::kPageSize); |