kframework/k — pull request #866 by dwightguth (2014-08-21 17:28:36+00:00)
Title: fix bug in #854 for data structures with >2 elements

@yilongli please review