Skip to content

GitLab

Get rid of a superflous argument to `fresh_locs`.

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

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