Skip to content
GitLab

decide_t now takes a multiset instead of a set.

Closed Michael Whittaker requested to merge decide_multiset into master

This fixes the bug described in #15. This PR should probably wait for !5 (closed) to be merged first. Pardon the whitespace changes; my editor does it automatically.