Commit 02de3e6c authored by Ralf Jung's avatar Ralf Jung

fix some warnings that show up with Coq 8.12

parent adf116ce
Pipeline #32304 passed with stage
in 23 minutes and 51 seconds