diff options
Diffstat (limited to 'src/passes/Print.cpp')
-rw-r--r-- | src/passes/Print.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/passes/Print.cpp b/src/passes/Print.cpp index 5e290ebca..dcd43c323 100644 --- a/src/passes/Print.cpp +++ b/src/passes/Print.cpp @@ -3148,10 +3148,6 @@ void PrintSExpression::printMemoryHeader(Memory* curr) { o << '('; printMedium(o, "memory") << ' '; printName(curr->name, o) << ' '; - if (curr->shared) { - o << '('; - printMedium(o, "shared "); - } if (curr->is64()) { o << "i64 "; } @@ -3160,7 +3156,7 @@ void PrintSExpression::printMemoryHeader(Memory* curr) { o << ' ' << curr->max; } if (curr->shared) { - o << ")"; + printMedium(o, " shared"); } o << ")"; } |