Skip to content

Convert element joined domains into domain when searching for OR-ed domain

The content of joined domains can be a single clause, so it must be converted into a domain before calling search_domain.

Closes #12460 (closed)

Merge request reports

Loading