- changed status to resolved
Grounder equality reasoning bug
Issue #676
resolved
terms in equalities are moved to the other side incorrectly.
Comments (1)
-
- Log in to comment
Fixed on master