random.cpp

/*
 * random.cpp
 *
 * Created on: Apr 1, 2013
 * Author: Jan Travnicek
 */

#include <random>

namespace std {

	random_device random_devices::random;
	random_devices::semirandom_device random_devices::semirandom;

} /* namespace std */