Add build flag `deprecated-reference-since-9.1`. (!639) · Merge requests · Iris / stdpp

Fixes:

File "./stdpp_bitvector/definitions.v", line 216, characters 12-35:
Warning: Reference Znumtheory.Zmod_div_mod is deprecated since 9.1.
Use Z.mod_mod_divide instead.
[deprecated-reference-since-9.1,deprecated-since-9.1,deprecated-reference,deprecated,default]

Add build flag `deprecated-reference-since-9.1`.

Merge request reports