diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-05-13 13:37:06 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-08-08 16:02:35 -0700 |
| commit | 0bd965b60cade7c610dcb0c882e2780bdb6905d6 (patch) | |
| tree | 6b028963dd317e3211e59bc5fc0619e173086f0f /src/parseTools.js | |
| parent | 3ce7d9e0249025d81627c23ccda594e60acbcf25 (diff) | |
ignore nocapture parameters
Diffstat (limited to 'src/parseTools.js')
| -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({ |