kframework/k — pull request #1272 by dwightguth (2014-12-30 17:47:56+00:00)
Title: remove memory leak on warnings when they are disabled

@yilongli please review