-
Michael Beck authored
add is_Raise() skip_Proj() is not const anymore (can skip Id nodes) [r8370]
f723aad7
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
add is_Raise() skip_Proj() is not const anymore (can skip Id nodes) [r8370]