kframework/k — pull request #478 by radumereuta (2014-05-20 23:06:11+00:00)
Title: Fixing issue #475. I've made a change a while back to fix latex,

but that broke warning reporting for typed variables.

Also, unfortunately I can't add a regression test, because ktest doesn't allow me to compare the output of kompile.