diff --git a/examples/llil4map.cc b/examples/llil4map.cc index e6a8727..f3ef8f5 100644 --- a/examples/llil4map.cc +++ b/examples/llil4map.cc @@ -479,7 +479,7 @@ int main(int argc, char* argv[]) std::sort(propvec.begin(), propvec.end(), reverse_order); #else // Parallel sort - boost::sort::block_indirect_sort(propvec.begin(), propvec.end(), reverse_order, std::min(nthds, 32)); + boost::sort::block_indirect_sort(propvec.begin(), propvec.end(), reverse_order, nthds); #endif cend3s = high_resolution_clock::now();