Use rand48()
[snark14.git] / src / DIGRand / DIGRand.cpp
index 5eba39c6a3d349c13fa0992e621f0bf63751131b..2650e4db45ed30a0675cba55a86825122d5c580c 100644 (file)
@@ -1,4 +1,3 @@
-
 #include <cstdlib>
 
 #define USE_RAND48 1