Skip to content

GitLab

Merged
Opened by Robbert Krebbers@robbertkrebbersMaintainer

Rename instance `finmap_lookup_total` → `map_lookup_total`.

This this is an instance, not a definition, it should not affect anyone.