kframework/k — pull request #1018 by dwightguth (2014-09-30 15:26:25+00:00)
Title: remove old outdated unparser

This is a bit tricky to review, but it helps to know that all I did was delete UnparserFilter, and rename UnparserFilterNew to UnparserFilter.

@radumereuta please review