kframework/k — pull request #978 by yilongli (2014-09-23 15:14:53+00:00)
Title: fixing issue #976

fixed https://github.com/kframework/k/issues/976

@dwightguth please review