tree 86411000b8308ede0a9bfe829debef47f30d807a
parent bec6a8da39e8cb7e59550541d429cff5e3dfb6d8
author Guilherme Goncalves <guilherme.p.gonc@gmail.com> 1422017533 -0200
committer Guilherme Goncalves <guilherme.p.gonc@gmail.com> 1422018102 -0200

Use the correct type for opt.junk when printing stats.