From 07fb96d42c3295b7b9d3f63396d290e0bbfbc024 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?=
 <martin.horenovsky@gmail.com>
Date: Thu, 13 Aug 2020 14:07:00 +0200
Subject: [PATCH] Don't include catch_random_number_generator.hpp in
 catch_session.cpp

---
 src/catch2/catch_session.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/catch2/catch_session.cpp b/src/catch2/catch_session.cpp
index e64299f3..809f4f89 100644
--- a/src/catch2/catch_session.cpp
+++ b/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>