kframework/k — pull request #1006 by dwightguth (2014-09-26 20:16:22+00:00)
Title: fix build number

@yilongli please review. This fixes a bug causing an exception to be thrown when running kompile/kast/krun/ktest --version