diff options
Diffstat (limited to 'src/core/expression/RBAForAllOperator.cpp')
-rw-r--r-- | src/core/expression/RBAForAllOperator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/expression/RBAForAllOperator.cpp b/src/core/expression/RBAForAllOperator.cpp index 93a2894..eca8cca 100644 --- a/src/core/expression/RBAForAllOperator.cpp +++ b/src/core/expression/RBAForAllOperator.cpp @@ -48,7 +48,7 @@ RBAForAllOperator::getModelElementType() const bool RBAForAllOperator::executeCore(RBAConstraintInfo* info, - RBAArbitrator * arb) const + RBAArbitratorImpl * arb) const { const RBAExpression* const setObj {getLhsOperand()}; RBALambdaExpression* const lambda {getLambda()}; |