diff options
| -rw-r--r-- | src/emscripten-helpers.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/emscripten-helpers.cc b/src/emscripten-helpers.cc index 220bc032..0a0a2ac7 100644 --- a/src/emscripten-helpers.cc +++ b/src/emscripten-helpers.cc @@ -404,6 +404,9 @@ void wabt_destroy_output_buffer(wabt::OutputBuffer* output_buffer) { delete output_buffer; } +// See https://github.com/kripken/emscripten/issues/7073. +void dummy_workaround_for_emscripten_issue_7073(void) {} + } // extern "C" #endif /* WABT_EMSCRIPTEN_HELPERS_H_ */ |