Skip to content
GitLab

Update a comment in cmra_big_op.v

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

fixes a small typo in the comments

Merge request reports