Fixed typo where an assertion error was not being thrown.
One more missing assertion throw that I missed.
(I just double checked the code so this should be the last one.)
Merge pull request #360 from kframework/newparser-fix-assertion-throw

Fixed typo where an assertion error was not being thrown.
Merge branch 'newparser-2' into newparser-doc1