Skip to content

Fixed a spacing issue in metatheory.v

Jonas Kastberg requested to merge jihgfee/iris-coq:jonas/spacing_nit into master

A double spacing nit found in metatheory.v that was bugging me.

Merge request reports