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

Remove superfluous catch_session.hpp include in catch_sharding.hpp

Browse Source
This commit is contained in:
Martin Hořeňovský 2023-12-26 00:01:29 +01:00
parent c809cb4d1c
commit 2b69a3e216
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/catch2/internal/catch_sharding.hpp
View File

@ -8,8 +8,7 @@
#ifndef CATCH_SHARDING_HPP_INCLUDED
#define CATCH_SHARDING_HPP_INCLUDED
#include <catch2/catch_session.hpp>
#include <cassert>
#include <cmath>
#include <algorithm>