kframework/k — pull request #333 by dwightguth (2014-04-01 18:49:44+00:00)
Title: clean up some ugliness in UnparserFilterNew

@liyili2 please review.