kframework/k — pull request #983 by yilongli (2014-09-24 14:34:27+00:00)
Title: fixed BuiltinCollectionOperations#size

fixed https://github.com/kframework/k/issues/981
@dwightguth please review