sync files

This commit is contained in:
Erik Krogh Kristensen
2021-12-19 23:03:36 +01:00
parent efba220b45
commit 53760799fc
2 changed files with 2 additions and 2 deletions

View File

@@ -32,7 +32,7 @@ abstract class ReDoSConfiguration extends string {
}
/**
* Holds if repeating `pump' starting at `state` is a candidate for causing backtracking.
* Holds if repeating `pump` starting at `state` is a candidate for causing backtracking.
* No check whether a rejected suffix exists has been made.
*/
private predicate isReDoSCandidate(State state, string pump) {