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