diff options
Diffstat (limited to 'src/wasm-interpreter.cpp')
-rw-r--r-- | src/wasm-interpreter.cpp | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/wasm-interpreter.cpp b/src/wasm-interpreter.cpp deleted file mode 100644 index e7df785ac..000000000 --- a/src/wasm-interpreter.cpp +++ /dev/null @@ -1,24 +0,0 @@ -#include "wasm-interpreter.h" - -namespace wasm { - -#ifdef WASM_INTERPRETER_DEBUG -int Indenter::indentLevel = 0; - -Indenter::Indenter(const char* entry) : entryName(entry) { - ++indentLevel; -} -Indenter::~Indenter() { - print(); - std::cout << "exit " << entryName << '\n'; - --indentLevel; -} -void Indenter::print() { - std::cout << indentLevel << ':'; - for (int i = 0; i <= indentLevel; ++i) { - std::cout << ' '; - } -} -#endif // WASM_INTERPRETER_DEBUG - -} // namespace wasm |