kframework/k — pull request #1107 by radumereuta (2014-10-24 19:19:11+00:00)
Title: Fixing --debug deleting temporary files.

@dwightguth please review.