C++: Oops. Forgot to replace one use of a deprecated predicate.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-04 15:30:02 +01:00
parent 6467ba4324
commit 7a32299f34

View File

@@ -351,7 +351,7 @@ class ArrayOrVectorAggregateLiteral extends AggregateLiteral {
bindingset[elementIndex]
predicate isValueInitialized(int elementIndex) {
this.isInitialized(elementIndex) and
not exists(this.getElementExpr(elementIndex))
not exists(this.getAnElementExpr(elementIndex))
}
}