Adapt to coq/coq#16920 - Githubissues

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

Adapt to coq/coq#16920 #43

Closed olaure01 closed 1 year ago

olaure01 commented 1 year ago

Use Nat2Z.inj_mod instead of deprecated Zdiv.mod_Zmod (coq/coq#16920).