2 Commits

Include renames

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