Forked from
Iris / stdpp
Source project has a limited visibility.
-
Tej Chajed authored
Addresses new unused-pattern-matching-variable warning on Coq master.
Tej Chajed authoredAddresses new unused-pattern-matching-variable warning on Coq master.
