Print the name of memory along with size (#720)

Otherwise when we export it as "$0" it's an undefined name.
The spec interpreter actually rejects this, although I think it's
intended to work, given the tests in export.wast. wabt also accepts it.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/passes/Print.cpp b/src/passes/Print.cpp
index c3ca4021e..572732275 100644
--- a/src/passes/Print.cpp
+++ b/src/passes/Print.cpp
@@ -645,6 +645,7 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
   }
   void printMemoryHeader(Memory* curr) {
     printOpening(o, "memory") << ' ';
+    printName(curr->name) << ' ';
     o << curr->initial;
     if (curr->max && curr->max != Memory::kMaxSize) o << ' ' << curr->max;
     o << ")";