From 7e059230059cab9c39eb65c83061deca7106e785 Mon Sep 17 00:00:00 2001 From: Maxime Gimeno Date: Tue, 15 Dec 2020 09:35:25 +0100 Subject: [PATCH] Remove the if !defined(CGAL_HEADER_ONLY) in the get_default_random() function. Random has bee fixed in 4.9 but this test was forgotten. --- Random_numbers/include/CGAL/Random.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Random_numbers/include/CGAL/Random.h b/Random_numbers/include/CGAL/Random.h index e1881ed8a39..c816c5aa86b 100644 --- a/Random_numbers/include/CGAL/Random.h +++ b/Random_numbers/include/CGAL/Random.h @@ -232,7 +232,7 @@ public: inline Random& get_default_random() { -#if (defined( CGAL_TEST_SUITE ) || defined( CGAL_PRINT_SEED )) && !defined(CGAL_HEADER_ONLY) +#if defined( CGAL_TEST_SUITE ) || defined( CGAL_PRINT_SEED ) internal::Random_print_seed rps; CGAL_STATIC_THREAD_LOCAL_VARIABLE(Random, default_random, rps); #else