Skip to content

Get rid of a superflous argument to `fresh_locs`.

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

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

Merge request reports