kframework/k — pull request #427 by dwightguth (2014-05-08 18:31:44+00:00)
Title: fix bug in #parse code path

So apparently using a custom parser for #parse was broken after all? This whole time? Gah.