kframework/k — pull request #917 by osa1 (2014-09-01 19:34:29+00:00)
Title: #913 reopened for master branch

#913