Guillaume Damiand d544f4a5f7 Remove the unused variable warning for the deprecated variable default_random.

2016-06-03 18:11:34 +02:00

..

Random_impl.h

Readd the debug mechanism for default random, but only in non header only mode.

2016-06-03 09:06:34 +02:00

Random.h

Remove the unused variable warning for the deprecated variable default_random.

2016-06-03 18:11:34 +02:00