kframework/k — pull request #932 by daejunpark (2014-09-05 21:06:26+00:00)
Title: fix ltrim function of string.k

fix simple bug of `ltrim` function. please review @andreiarusoaie.