kframework/k — pull request #502 by yilongli (2014-05-24 02:31:37+00:00)
Title: Fixing issue146 in unified-builtins2

fixing https://github.com/kframework/k/issues/146 & https://github.com/kframework/k/issues/376