Fix upstream bug of too small of a sprintf call
[snark14.git] / examples / b6 / run
1 snark14  b6.in