Skip to content

Get rid of a superflous argument to `fresh_locs`.

Dan Frumin requested to merge dfrumin/iris-coq:fresh_locs_arg into master

The argument is not really used (at least right now).

Merge request reports