kframework/k — pull request #637 by dwightguth (2014-06-19 19:40:14+00:00)
Title: remove exceptions that aren't really error cases

@andreistefanescu please review.