Skip to content
Snippets Groups Projects
Commit 46b16f58 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename... 

Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename `map_fmap_empty_inv` into `fmap_empty_inv` for consistency's sake.
parent 7bf7c7fa
No related branches found
No related tags found
1 merge request!205Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename...
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment