kframework/c-semantics — pull request #22 by dwightguth (2014-06-25 18:36:38+00:00)
Title: remove Base2String duplicate

@andreistefanescu please review