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

Sanitize includes in random_number_generator.cpp

Browse Source 
I have no idea how those got there, but now its dependency graph
is much saner.
This commit is contained in:
Martin Hořeňovský 2020-07-29 14:58:11 +02:00
parent ba57c17310
commit 35098a62d8
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/catch2/internal/catch_random_number_generator.cpp
View File

@ -6,9 +6,6 @@
*/
#include <catch2/internal/catch_random_number_generator.hpp>
#include <catch2/internal/catch_context.hpp>
#include <catch2/internal/catch_run_context.hpp>
#include <catch2/interfaces/catch_interfaces_config.hpp>
namespace Catch {