fix build

This commit is contained in:
vdimir 2023-11-20 13:46:37 +01:00 committed by GitHub
parent 28bb76d568
commit 06c6282eb7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -63,7 +63,7 @@ private:
QueryTreeNodes or_operands;
or_operands.reserve(function_node.getArguments()->getNodes().size());
or_operands.reserve(function_node.getArguments().getNodes().size());
/// Indices of `equals` or `isNotDistinctFrom` functions in the vector above
std::vector<size_t> equals_functions_indices;