Skip to content

Remove last few unnecessary include_summand<> checks - #1555

Merged
mcol merged 1 commit into
developfrom
bugfix/1519_unnecessary_checks
Dec 28, 2019
Merged

Remove last few unnecessary include_summand<> checks#1555
mcol merged 1 commit into
developfrom
bugfix/1519_unnecessary_checks

Commits

Commits on Dec 28, 2019