-
Michael Beck authored
- BugFix: to detect that a Cmp must be reavaluated, we give the Cmp node the type true IF there is a chance that it could be evaluated [r20841]
aa77d70c
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- BugFix: to detect that a Cmp must be reavaluated, we give the Cmp node the type true IF there is a chance that it could be evaluated [r20841]