kframework/k — pull request #1147 by dwightguth (2014-11-03 21:22:01+00:00)
Title: fix ambiguity in substitution.k

@traiansf you wrote this, can you review?