Merge pull request #5282 from maxGimeno/Random_header_only-maxGimeno

Random_numbers : re-activate the seed printing in cgal_only
This commit is contained in:
Laurent Rineau 2020-12-16 17:49:04 +01:00
commit dee147bc89
1 changed files with 1 additions and 1 deletions

View File

@ -232,7 +232,7 @@ public:
inline Random& get_default_random() 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; internal::Random_print_seed rps;
CGAL_STATIC_THREAD_LOCAL_VARIABLE(Random, default_random, rps); CGAL_STATIC_THREAD_LOCAL_VARIABLE(Random, default_random, rps);
#else #else