Skip to content

Remove unused Qp argument to dfrac_valid_discarded

Tej Chajed requested to merge tchajed/iris-coq:dfrac-valid-arg into master

Merge request reports