kframework/k — pull request #989 by yilongli (2014-09-25 16:51:41+00:00)
Title: fixed ConcreteCollectionVariable#matchConcreteSize

fixed https://github.com/kframework/k/issues/979

@dwightguth please review