3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-04-30 12:35:43 +02:00
Code Issues Packages Projects Releases Wiki Activity

Don't include catch_random_number_generator.hpp in catch_session.cpp

Browse Source
This commit is contained in:
Martin Hořeňovský 2020-08-13 14:07:00 +02:00
parent 34d9a588bb
commit 07fb96d42c
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 0 additions and 1 deletions

1
src/catch2/catch_session.cpp

@ -15,7 +15,6 @@
#include <catch2/catch_test_spec.hpp>
#include <catch2/catch_version.hpp>
#include <catch2/interfaces/catch_interfaces_reporter.hpp>
#include <catch2/internal/catch_random_number_generator.hpp>
#include <catch2/internal/catch_startup_exception_registry.hpp>
#include <catch2/internal/catch_textflow.hpp>
#include <catch2/internal/catch_windows_h_proxy.hpp>