kframework/k — pull request #692 by radumereuta (2014-07-01 21:44:34+00:00)
Title: Fixing some of the hidden warnings found in /include directory 

(typing all variables, singleton variables become anonymous, . is .K)

@dwightguth please review.