Adapt to https://github.com/rocq-prover/rocq/pull/21478#46
Open
proux01 wants to merge 1 commit intomit-plv:rv32ifrom
Open
Adapt to https://github.com/rocq-prover/rocq/pull/21478#46proux01 wants to merge 1 commit intomit-plv:rv32ifrom
proux01 wants to merge 1 commit intomit-plv:rv32ifrom
