diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2015-11-04 20:25:47 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2015-11-04 20:25:47 -0800 |
| commit | 10d59ea332a69971a0284ae08379672eb0fb8477 (patch) | |
| tree | 16722f977ddf9f3f28eb77e54c286ba7d094c74b /src/wasm-interpreter.h | |
| parent | 9b50ed1c8702c1e9236ae146a31c79be443f6c84 (diff) | |
| download | binaryen-10d59ea332a69971a0284ae08379672eb0fb8477.tar.gz binaryen-10d59ea332a69971a0284ae08379672eb0fb8477.tar.bz2 binaryen-10d59ea332a69971a0284ae08379672eb0fb8477.zip | |
more interpreter debugging
Diffstat (limited to 'src/wasm-interpreter.h')
| -rw-r--r-- | src/wasm-interpreter.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/wasm-interpreter.h b/src/wasm-interpreter.h index 9bc3c7a45..f412e2afb 100644 --- a/src/wasm-interpreter.h +++ b/src/wasm-interpreter.h @@ -96,12 +96,12 @@ public: doIndent(std::cout, indent); std::cout << "visit " << name << " :\n"; indent++; - //doIndent(std::cout, indent); - //expression->print(std::cout, indent) << '\n'; - //indent++; + doIndent(std::cout, indent); + expression->print(std::cout, indent) << '\n'; + indent++; } ~IndentHandler() { - //indent--; + indent--; indent--; doIndent(std::cout, indent); std::cout << "exit " << name << '\n'; |