diff options
| -rw-r--r-- | src/parseTools.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/parseTools.js b/src/parseTools.js index b7d3ea91..05e874cc 100644 --- a/src/parseTools.js +++ b/src/parseTools.js @@ -402,6 +402,9 @@ function parseParamTokens(params) { segment.splice(1, 2); } } + if (segment[1] && segment[1].text === 'nocapture') { + segment.splice(1, 1); + } if (segment.length == 1) { if (segment[0].text == '...') { ret.push({ |