kframework/k — pull request #354 by chathhorn (2014-04-09 21:17:00+00:00)
Title: Fix maude profiler support.

The profiler needs to be turned on before rewriting. Also, there was a missing line separator.