kframework/k — pull request #1236 by dwightguth (2014-12-04 15:08:00+00:00)
Title: Fixed substitution.

Creating @traiansf 's pull request, but rebased onto the correct history. I will review this myself since it's his code.