From 2cfd1322278c636b98e954196e64869bf3b506a2 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Fri, 4 Nov 2016 17:29:11 +0100 Subject: [PATCH] A ) too much --- 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 dc85ebb6874..f86b7577ed2 100644 --- a/Random_numbers/include/CGAL/Random.h +++ b/Random_numbers/include/CGAL/Random.h @@ -237,7 +237,7 @@ public: inline Random& get_default_random() { #if (defined( CGAL_TEST_SUITE ) || defined( CGAL_PRINT_SEED )) && !defined(CGAL_HEADER_ONLY) - CGAL_STATIC_THREAD_LOCAL_VARIABLE(Random, default_random, internal::Random_print_seed() )); + CGAL_STATIC_THREAD_LOCAL_VARIABLE(Random, default_random, internal::Random_print_seed() ); #else CGAL_STATIC_THREAD_LOCAL_VARIABLE_0(Random, default_random); #endif