kframework/k — pull request #1169 by radumereuta (2014-11-10 21:35:22+00:00)
Title: Adding location information back to maude generated files.

@traiansf or @dwightguth please review