3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-20 12:26:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add missing include to benchmark/catch_execution_plan.hpp

Browse Source 
Fixes #2275
This commit is contained in:
Martin Hořeňovský 2021-08-26 20:19:25 +02:00
parent 0a8516aeea
commit 54edab53bf
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/catch2/benchmark/catch_execution_plan.hpp
View File

@ -18,6 +18,7 @@
#include <catch2/benchmark/detail/catch_run_for_at_least.hpp> #include <catch2/benchmark/detail/catch_run_for_at_least.hpp>
#include <algorithm> #include <algorithm>
#include <iterator>
namespace Catch { namespace Catch {
namespace Benchmark { namespace Benchmark {