kframework/k — pull request #1229 by radumereuta (2014-12-03 01:42:24+00:00)
Title: Rename all the _ to _void to stop the warnings from the compiler.

@dwightguth please review.