kframework/k — pull request #927 by dwightguth (2014-09-03 21:22:03+00:00)
Title: catch ParameterException again :/

Fix error reporting for parameter exceptions.

@radumereuta please review.