diff --git a/src/profiling/profiler.cpp b/src/profiling/profiler.cpp index 247c8c949958e46c2285d0c9c79341c4699a32bb..b5d2ad0d8d7bd9efe7fd8e55e5f6720ab051b3f1 100644 --- a/src/profiling/profiler.cpp +++ b/src/profiling/profiler.cpp @@ -1,3 +1,5 @@ +#include <numeric> + #include "profiler.hpp" #include "util/debug.hpp" @@ -373,4 +375,3 @@ void profiler_output(double threshold) {} } // namespace util } // namespace mc } // namespace nest -