kframework/k — pull request #360 by mdmkolbe (2014-04-10 22:06:55+00:00)
Title: Fixed typo where an assertion error was not being thrown.

A minor fix that I noticed while looking over the code.