fix or silence Coq 8.10 warnings See merge request iris/stdpp!52
Attach a file by drag & drop or click to upload
