hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Remove esregex.

Browse Source
This commit is contained in:
Max Schaefer
2018-11-09 08:59:42 +00:00
parent 025054e44a
commit 5506cec35e
6 changed files with 0 additions and 1134 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
javascript/extractor/src/com/semmle/js/extractor/RegExpExtractor.java
View File

@@ -94,7 +94,6 @@ public class RegExpExtractor {
termkinds.put("UnicodePropertyEscape", 27);
}
/** This has to be kept consistent with esregex. */
private static final String[] errmsgs = new String[] {
"unexpected end of regular expression",
"unexpected character",