Disable srand48/rand48 by default
[snark14.git] / examples / b11 / run
1 snark14  b11.in