kframework/k — pull request #688 by osa1 (2014-06-27 21:42:35+00:00)
Title: Fix #683

#683

Note that I didn't change the error message. @grosu if you tell me what message to print I can update.