kframework/k — pull request #1108 by yilongli (2014-10-24 19:47:07+00:00)
Title: fixed ConfigurationSubstitutionVisitor

@andreistefanescu please review