kframework/k — pull request #837 by yilongli (2014-08-13 16:39:03+00:00)
Title: temporary fix for issue 789

temporary fix for https://github.com/kframework/k/issues/789. Not sure if it can pass all tests.