From 35098a62d8a8532a2f61ed28f5c097932b95fc23 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?=
 <martin.horenovsky@gmail.com>
Date: Wed, 29 Jul 2020 14:58:11 +0200
Subject: [PATCH] Sanitize includes in random_number_generator.cpp

I have no idea how those got there, but now its dependency graph
is much saner.
---
 src/catch2/internal/catch_random_number_generator.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/catch2/internal/catch_random_number_generator.cpp b/src/catch2/internal/catch_random_number_generator.cpp
index 85c923b9..d68ef852 100644
--- a/src/catch2/internal/catch_random_number_generator.cpp
+++ b/src/catch2/internal/catch_random_number_generator.cpp
@@ -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 {