diff options
Diffstat (limited to 'rts/js/mem.js')
-rw-r--r-- | rts/js/mem.js | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/rts/js/mem.js b/rts/js/mem.js index 3dcdc7979f..2f91b80798 100644 --- a/rts/js/mem.js +++ b/rts/js/mem.js @@ -1455,11 +1455,3 @@ function h$pext64(src_b, src_a, mask_b, mask_a) { } RETURN_UBX_TUP2(dst_b, dst_a); } - -function h$getThreadLabel(t) { - if (t.label) { - RETURN_UBX_TUP2(1, t.label); - } else { - RETURN_UBX_TUP2(0, 0); - } -} |