use RelevantState inside the lastStartState predicate

erik-krogh · aibaars · web-flow · commit 0162bc3c7731 · 2022-09-05T11:22:12.000+02:00
Co-authored-by: Arthur Baars &lt;aibaars@github.com&gt;
diff --git a/java/ql/lib/semmle/code/java/security/regexp/NfaUtils.qll b/java/ql/lib/semmle/code/java/security/regexp/NfaUtils.qll
@@ -890,7 +890,7 @@ module PrefixConstruction<isCandidateSig/1 isCandidate> {
   private predicate lastStartState(RelevantState state) {
     exists(RegExpRoot root |
       state =
-        max(State s, Location l |
+        max(RelevantState s, Location l |
           isStartState(s) and
           getRoot(s.getRepr()) = root and
           l = s.getRepr().getLocation()
