kframework/k — pull request #269 by dwightguth (2014-03-05 18:50:25+00:00)
Title: test commit that should fail tests when run on a pull request

This is a test pull request I created to make sure that the Jenkins build correctly picks up the diff from the pull request and fails on the compile error I introduced.