diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-11-08 18:26:19 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-11-08 18:26:19 -0800 |
| commit | 1b0215b9bd69bc6faf4a1843e7e01a1fb59e6fc3 (patch) | |
| tree | 9906da1fd3e0526b0dc6fe388fc1f4bee6a194c8 /src/library.js | |
| parent | dbd5252e191327b6ccdb5e3b4d34522b35bbea8e (diff) | |
rename __label__ => label
Diffstat (limited to 'src/library.js')
| -rw-r--r-- | src/library.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library.js b/src/library.js index c7fe9fcb..fd5e0fae 100644 --- a/src/library.js +++ b/src/library.js @@ -5841,7 +5841,7 @@ LibraryManager.library = { setjmp__inline: function(env) { // Save the label - return '(' + makeSetValue(env, '0', '__label__', 'i32') + ', 0)'; + return '(' + makeSetValue(env, '0', 'label', 'i32') + ', 0)'; }, longjmp: function(env, value) { |