kframework/k — pull request #453 by dwightguth (2014-05-15 18:40:30+00:00)
Title: fix latex backend for files without modules

@traiansf please review.

Fixes #231.