diff options
Diffstat (limited to 'src/jsifier.js')
-rw-r--r-- | src/jsifier.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/jsifier.js b/src/jsifier.js index 66beb0bf..12017e2a 100644 --- a/src/jsifier.js +++ b/src/jsifier.js @@ -440,7 +440,9 @@ function JSify(data) { var LABEL_IDs = {}; var LABEL_ID_COUNTER = 0; function getLabelId(label) { - //print('needs id: ' + label + ' : ' + JSON.stringify(LABEL_IDs)); + label = label.substr(1); + if (label === 'entry') return '-1'; + if (label === parseInt(label)) return label; // clang label = toNiceIdent(label); if (label in LABEL_IDs) return LABEL_IDs[label]; return LABEL_IDs[label] = LABEL_ID_COUNTER ++; |