kframework/k — pull request #387 by mdmkolbe (2014-04-16 17:22:59+00:00)
Title: Remove the extra start non-terminal from the parser.

After reviewing the changes necessary, I am happy to report that it was much simpler than I thought and (unlike I had feared) simply removing the code didn't adverse reactions or change the interface at all.