diff options
| author | Benoit Giannangeli <giann008@gmail.com> | 2017-05-08 10:55:26 +0200 |
|---|---|---|
| committer | Benoit Giannangeli <giann008@gmail.com> | 2017-05-08 10:55:26 +0200 |
| commit | e535c784055065ba8c8b6313b2804562c35dd261 (patch) | |
| tree | 00fb42afc99e3187cfc192b750e102ebaf0df35e /src/ldump.js | |
| parent | ecc153eed6f7d2fd4c39b0e276cdf14abd48d62c (diff) | |
| parent | 636b1d8a5a566fac0c9c61fed44049c659435a56 (diff) | |
| download | fengari-e535c784055065ba8c8b6313b2804562c35dd261.tar.gz fengari-e535c784055065ba8c8b6313b2804562c35dd261.tar.bz2 fengari-e535c784055065ba8c8b6313b2804562c35dd261.zip | |
Merge remote-tracking branch 'daurnimator/boxed-strings'
Diffstat (limited to 'src/ldump.js')
| -rw-r--r-- | src/ldump.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ldump.js b/src/ldump.js index 99780f6..a2abbed 100644 --- a/src/ldump.js +++ b/src/ldump.js @@ -66,8 +66,8 @@ const DumpString = function(s, D) { if (s === null) DumpByte(0, D); else { - let size = s.length + 1; - let str = s; + let size = s.tsslen() + 1; + let str = s.getstr(); if (size < 0xFF) DumpByte(size, D); else { |