kframework/k — pull request #680 by dwightguth (2014-06-26 20:30:52+00:00)
Title: remove undesirable hack from --pattern

@andreistefanescu please review