From 1bdc7ea94745412d73821e7ab3846f1693423756 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Sat, 12 Dec 2015 11:30:25 -0500 Subject: fix memory_size printing --- src/wasm.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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); -- cgit v1.2.3