diff options
Diffstat (limited to 'src/tools/wasm-dis.cpp')
| -rw-r--r-- | src/tools/wasm-dis.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/tools/wasm-dis.cpp b/src/tools/wasm-dis.cpp index 6c1ed1524..493a55566 100644 --- a/src/tools/wasm-dis.cpp +++ b/src/tools/wasm-dis.cpp @@ -75,9 +75,7 @@ int main(int argc, const char* argv[]) { if (options.debug) { std::cerr << "Printing..." << std::endl; } - Output output(options.extra["output"], - Flags::Text, - options.debug ? Flags::Debug : Flags::Release); + Output output(options.extra["output"], Flags::Text); WasmPrinter::printModule(&wasm, output.getStream()); output << '\n'; |