diff options
Diffstat (limited to 'rts/js/profiling.js')
| -rw-r--r-- | rts/js/profiling.js | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/rts/js/profiling.js b/rts/js/profiling.js index f972642658..e6433e36d6 100644 --- a/rts/js/profiling.js +++ b/rts/js/profiling.js @@ -302,10 +302,9 @@ function h$buildCCPtr(o) { #ifdef GHCJS_TRACE_PROF cc.myTag = "cc pointer"; #endif - cc.arr = []; - cc.arr[h$ccLabel_offset] = [h$encodeUtf8(o.label), 0]; - cc.arr[h$ccModule_offset] = [h$encodeUtf8(o.module), 0]; - cc.arr[h$ccsrcloc_offset] = [h$encodeUtf8(o.srcloc), 0]; + PUT_ADDR(cc, h$ccLabel_offset, h$encodeUtf8(o.label), 0); + PUT_ADDR(cc, h$ccModule_offset, h$encodeUtf8(o.module), 0); + PUT_ADDR(cc, h$ccsrcloc_offset, h$encodeUtf8(o.srcloc), 0); return cc; } |