| … | … | @@ -399,7 +399,7 @@ SourcePtr ForwardChainer::select_source(const std::string& msgprfx) |
| 399 | 399 | } |
| 400 | 400 | |
| 401 | 401 | // Calculate the total weight to be sure it's greater than zero |
| 402 | double total = boost::accumulate(weights, 0.0); | |
| 402 | double total = std::accumulate(weights.begin(), weights.end(), 0.0); | |
| 403 | 403 | |
| 404 | 404 | if (total == 0.0) { |
| 405 | 405 | ure_logger().debug() << msgprfx << "All sources have been exhausted"; |