fix for issue brought up in #93 https://github.com/chrismattmann/drat/pull/93#discussion_r128145844
fix for issue brought up in #93
https://github.com/chrismattmann/drat/pull/93#discussion_r128145844
chrismattmann/drat,chrismattmann/drat,chrismattmann/drat,chrismattmann/drat,chrismattmann/drat