kframework/k — pull request #784 by dwightguth (2014-08-04 17:07:02+00:00)
Title: fix ant test target

@radumereuta please review