kframework/k — pull request #617 by yilongli (2014-06-17 03:44:19+00:00)
Title: Fixing issue#616

Temporary fix for https://github.com/kframework/k/issues/616.

A better way to resolve this is to separate ```BuiltinList``` that actually represents a list update operation to ```ListUpdate``` just like ```MapUpdate``` and ```SetUpdate```.