Sébastien Loriot 99e7f4806a boost::int -> std::int

2023-04-23 18:43:10 +02:00

..

Random_impl.h

boost::int -> std::int

2023-04-23 18:43:10 +02:00

Random.h

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.

2020-12-15 09:51:13 +01:00