remove duplicate char

This commit is contained in:
Erik Krogh Kristensen
2020-12-22 15:42:36 +01:00
parent 354954c80c
commit 303408b774

View File

@@ -915,7 +915,7 @@ private module SuffixConstruction {
*/
pragma[noinline]
private string relevant(RegExpRoot root) {
result = ["a", "9", "|", "\n", " ", "|", "\n", "Z"] // must include all the strings from `hasSimpleRejectEdge`.
result = ["a", "9", " ", "|", "\n", "Z"] // must include all the strings from `hasSimpleRejectEdge`.
or
exists(InputSymbol s | belongsTo(s, root) | result = intersect(s, _))
}