diff options
Diffstat (limited to 'src/core/expression/RBAOrOperator.cpp')
-rw-r--r-- | src/core/expression/RBAOrOperator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/expression/RBAOrOperator.cpp b/src/core/expression/RBAOrOperator.cpp index d55e4a0..5f105be 100644 --- a/src/core/expression/RBAOrOperator.cpp +++ b/src/core/expression/RBAOrOperator.cpp @@ -41,7 +41,7 @@ RBAOrOperator::getModelElementType() const bool RBAOrOperator::executeCore(RBAConstraintInfo* info, - RBAArbitrator* arb) const + RBAArbitratorImpl* arb) const { bool isPassed {false}; // Add itself to Constraint hierarchy for coverage |