diff options
| author | Melissa Zhang <mzhang19096@gmail.com> | 2020-08-13 17:45:41 -0700 |
|---|---|---|
| committer | Melissa Zhang <mzhang19096@gmail.com> | 2020-08-13 17:45:41 -0700 |
| commit | 4852a2bfce1ddc038716f24cfcbf22c1aad88ff0 (patch) | |
| tree | a3568efe6cf05aae33a6f2e3a99e9d7832e4a650 /src/client/views/ScriptingRepl.tsx | |
| parent | 3c56d05d401d2015545bd42868f4fc553db6944b (diff) | |
| parent | 3debb7fedcd9c955ede46e57d4da182a5fa9acae (diff) | |
merge with master
Diffstat (limited to 'src/client/views/ScriptingRepl.tsx')
| -rw-r--r-- | src/client/views/ScriptingRepl.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/ScriptingRepl.tsx b/src/client/views/ScriptingRepl.tsx index 1eb380e0b..db087fb23 100644 --- a/src/client/views/ScriptingRepl.tsx +++ b/src/client/views/ScriptingRepl.tsx @@ -104,7 +104,7 @@ export class ScriptingRepl extends React.Component { if (ts.isParameter(node.parent)) { // delete knownVars[node.text]; } else if (isntPropAccess && isntPropAssign && !(node.text in knownVars) && !(node.text in globalThis)) { - const match = node.text.match(/\d([0-9]+)/); + const match = node.text.match(/d([0-9]+)/); if (match) { const m = parseInt(match[1]); usedDocuments.push(m); |