kframework/k — pull request #446 by dwightguth (2014-05-14 20:11:44+00:00)
Title: make error message better for case when user specifies too many files fo...

...r kompile

@andreistefanescu please review.