kframework/k — pull request #1098 by yilongli (2014-10-23 18:43:53+00:00)
Title: fixed multi-representation of BuiltinMap

Let's see if the problem has been fixed in my previous two pull requests.

@andreistefanescu please review