Skip to content

Update a comment in cmra_big_op.v

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

fixes a small typo in the comments

Merge request reports