idubrov/covertool — pull request #7 by voluntas (2012-08-12 00:23:57+00:00)
Title: Fix unused variable.

Fixed an error where if you are on warnings_as_errors.