diff options
| -rw-r--r-- | src/wasm.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/wasm.h b/src/wasm.h index 448e4e71b..6c8ec86b3 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -508,7 +508,9 @@ public: } restoreNormalColor(o); o << " align=" << align; - assert(!offset); + if (offset) { + o << " offset=" << offset; + } incIndent(o, indent); printFullLine(o, indent, ptr); return decIndent(o, indent); @@ -538,7 +540,9 @@ public: } restoreNormalColor(o); o << " align=" << align; - assert(!offset); + if (offset) { + o << " offset=" << offset; + } incIndent(o, indent); printFullLine(o, indent, ptr); printFullLine(o, indent, value); |