Commit Graph

2 Commits

Author SHA1 Message Date
Guillaume Damiand ef550fd3bb Ok for first version. 2014-11-14 17:22:06 +01:00
Guillaume Damiand ebc4300334 Header only for random.cpp.
For the header only version, the global variable default_random no more exist => we need to replace all occurences of default_random by a call to the global function get_default_random().
As usual, no modification for the non header only version.
2014-11-14 14:20:26 +01:00