From c9b8b17f6f5d01511bcfd511bfda28584533b467 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Thu, 29 Oct 2015 17:55:50 -0700
Subject: print a memory section

---
 src/wasm.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/wasm.h b/src/wasm.h
index 40d9a126e..d8cada7f5 100644
--- a/src/wasm.h
+++ b/src/wasm.h
@@ -796,6 +796,8 @@ public:
     unsigned indent = 0;
     printOpening(o, "module", true);
     incIndent(o, indent);
+    doIndent(o, indent);
+    printOpening(o, "memory") << " 16777216)\n"; // XXX
     for (auto& curr : functionTypes) {
       doIndent(o, indent);
       curr.second->print(o, indent, true);
-- 
cgit v1.2.3