-
Michael Beck authored
- Fix for a rare problem: when checking commutative touched nodes, we must distinguish between op(a, a) and op(a, b): these are NOT congruent and must not be on the same touched list [r23178]
1a7c3a4c
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- Fix for a rare problem: when checking commutative touched nodes, we must distinguish between op(a, a) and op(a, b): these are NOT congruent and must not be on the same touched list [r23178]