diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-02-17 12:44:14 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-02-17 14:25:01 -0800 |
| commit | dbb5f32bafcf3c8f51eefb95e6c298ce6b9ac8cc (patch) | |
| tree | 88a9617fb2ad21c329043f1f4efd72a0abbb29dc /src/wasm-dis.cpp | |
| parent | 252962faba97b68684a470447c7202cf27ad8c05 (diff) | |
| download | binaryen-dbb5f32bafcf3c8f51eefb95e6c298ce6b9ac8cc.tar.gz binaryen-dbb5f32bafcf3c8f51eefb95e6c298ce6b9ac8cc.tar.bz2 binaryen-dbb5f32bafcf3c8f51eefb95e6c298ce6b9ac8cc.zip | |
move printing to a pass
Diffstat (limited to 'src/wasm-dis.cpp')
| -rw-r--r-- | src/wasm-dis.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/wasm-dis.cpp b/src/wasm-dis.cpp index 7fb3ed2d5..c7ebf8861 100644 --- a/src/wasm-dis.cpp +++ b/src/wasm-dis.cpp @@ -18,6 +18,7 @@ // wasm2asm console tool // +#include "pass.h" #include "support/colors.h" #include "support/command-line.h" #include "support/file.h" @@ -49,7 +50,8 @@ int main(int argc, const char *argv[]) { if (options.debug) std::cerr << "Printing..." << std::endl; Output output(options.extra["output"], options.debug); - output << wasm << std::endl; + printWasm(&wasm, output.getStream()); + output << '\n'; if (options.debug) std::cerr << "Done." << std::endl; } |