kframework/k — pull request #370 by andreistefanescu (2014-04-14 03:21:05+00:00)
Title: fixed bug in builtin list factory method

@traiansf please check this bugfix