kframework/k — pull request #918 by osa1 (2014-09-01 19:35:46+00:00)
Title: #912 reopened for master branch

#912