diff options
Diffstat (limited to 'src/core/expression/RBALambdaContext.cpp')
-rw-r--r-- | src/core/expression/RBALambdaContext.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/expression/RBALambdaContext.cpp b/src/core/expression/RBALambdaContext.cpp index 7d68513..fe10e4c 100644 --- a/src/core/expression/RBALambdaContext.cpp +++ b/src/core/expression/RBALambdaContext.cpp @@ -56,7 +56,7 @@ RBALambdaContext::createHierarchy() RBAConstraintInfo dummyInfo; // Since it is not referenced by "AllInstanceOf..." or "SetOfOperator" // used for the set of "For-All" or "Exists", nullptr is no problem - RBAArbitrator* dummyArb = nullptr; + RBAArbitratorImpl* dummyArb = nullptr; const RBARuleObject* objset = setObj->getReferenceObject(&dummyInfo, dummyArb); std::vector<const RBARuleObject*> objs; if(objset) { |