kframework/k — pull request #1139 by dwightguth (2014-10-31 21:05:09+00:00)
Title: evict stuff from kparser cache

@radumereuta please review