kframework/k — pull request #476 by dwightguth (2014-05-20 16:07:58+00:00)
Title: fix nontermination bug if loading definition in maude had errors

@yilongli please review.