diff options
Diffstat (limited to 'src/emscripten-helpers.cc')
-rw-r--r-- | src/emscripten-helpers.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/emscripten-helpers.cc b/src/emscripten-helpers.cc index 803e386f..127a8c45 100644 --- a/src/emscripten-helpers.cc +++ b/src/emscripten-helpers.cc @@ -398,9 +398,6 @@ 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_ */ |