kframework/k — pull request #597 by radumereuta (2014-06-13 21:50:56+00:00)
Title: Issue#596

Fixing issue #596
Also #595 should be merged at the same time with this one.