Ruby: CFG: better return type for getAMatchingSuccessorType

This commit is contained in:
Arthur Baars
2021-12-09 13:04:34 +01:00
parent a7b3f1370f
commit 9d288c90a5

View File

@@ -310,7 +310,7 @@ class MatchingCompletion extends ConditionalCompletion {
this = TNestedCompletion(_, TMatchingCompletion(value), _)
}
override SuccessorType getAMatchingSuccessorType() {
override ConditionalSuccessor getAMatchingSuccessorType() {
this = TMatchingCompletion(result.(MatchingSuccessor).getValue())
}