diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2015-12-12 11:30:25 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2015-12-12 11:30:25 -0500 |
| commit | 1bdc7ea94745412d73821e7ab3846f1693423756 (patch) | |
| tree | e303ae0acac0a39ddac78e3f36ec734ef089db0f /src | |
| parent | 7986699edb9974c546937c69738cb5f51f69b997 (diff) | |
| download | binaryen-1bdc7ea94745412d73821e7ab3846f1693423756.tar.gz binaryen-1bdc7ea94745412d73821e7ab3846f1693423756.tar.bz2 binaryen-1bdc7ea94745412d73821e7ab3846f1693423756.zip | |
fix memory_size printing
Diffstat (limited to 'src')
| -rw-r--r-- | src/wasm.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm.h b/src/wasm.h index 13f1d29a7..aea38f9b7 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -825,7 +825,7 @@ public: std::ostream& doPrint(std::ostream &o, unsigned indent) { switch (op) { case PageSize: printOpening(o, "pagesize") << ')'; break; - case MemorySize: printOpening(o, "memorysize") << ')'; break; + case MemorySize: printOpening(o, "memory_size") << ')'; break; case GrowMemory: { printOpening(o, "grow_memory"); incIndent(o, indent); |