diff options
Diffstat (limited to 'src/tools/wasm-opt.cpp')
| -rw-r--r-- | src/tools/wasm-opt.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index f78278bcf..278a9879d 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -149,7 +149,7 @@ int main(int argc, const char* argv[]) { p.dump(std::cerr); std::cerr << '\n'; Fatal() << "error in parsing wasm source map"; - } catch (std::bad_alloc& b) { + } catch (std::bad_alloc&) { Fatal() << "error in building module, std::bad_alloc (possibly invalid request for silly amounts of memory)"; } |