fin_sets: add missing Params instance for `set_map` (!328) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:finite_sets into master 3 years ago

Noticed from VERY slow rewrites.

Activity

Paolo G. Giarrusso @Blaisorblade · 3 years ago

Author Contributor

That area of code raised a few more questions on oversights — you'll see them as a diff in Blaisorblade/stdpp!1 (closed). Sorry for the workflow but it was the only way to stack an MR over this and get the right diff.
Ralf Jung @jung · 3 years ago

Owner

Good catch!
Robbert Krebbers mentioned in commit 15c28d70 3 years ago

mentioned in commit 15c28d70
Robbert Krebbers merged 3 years ago

merged
Robbert Krebbers @robbertkrebbers · 3 years ago

Owner

LGTM. Thanks. Good catch indeed.
Paolo G. Giarrusso mentioned in merge request !329 (merged) 3 years ago

mentioned in merge request !329 (merged)
Paolo G. Giarrusso @Blaisorblade · 3 years ago

Author Contributor

Thanks for the quick merge!

Please register or sign in to reply