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