kframework/k — pull request #1040 by radumereuta (2014-10-07 18:47:15+00:00)
Title: Fix a bug in circularity detection of poset.

I'm not sure how we didn't detect this one until now, but it was a bug in the actual algorithm.
@dwightguth please review.