kframework/k — pull request #1260 by dwightguth (2014-12-15 15:56:05+00:00)
Title: try to fix race condition in Sort.equals

@yilongli please review