kframework/k — pull request #851 by yilongli (2014-08-17 23:36:47+00:00)
Title: temporary fix for issue 850

temporary fix for https://github.com/kframework/k/issues/850