kframework/k — pull request #743 by yilongli (2014-07-21 22:04:50+00:00)
Title: fixing issue 738

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