kframework/k — pull request #639 by dwightguth (2014-06-19 20:49:42+00:00)
Title: fix return type of String2Base

:/ typo. @andreistefanescu please review.