Skip to content

Removed left-over comment from `nonDetEltsUFM`-removal in `seqEltsUFM`.

Benjamin Maurer requested to merge wip/cptwunderlich-seqeltsufm-comment into master

Use of nonDetEltsUFM was removed from implementation of seqEltsUFM in commit '42492b76' this removes left-over comment regarding use its use.

Merge request reports