Adapt to https://github.com/rocq-prover/rocq/pull/21849#96

JasonGross merged 1 commit intoJasonGross:testedJasonGross/neural-net-coq-interp:testedfrom

proux01:rocq21849proux01/neural-net-coq-interp:rocq21849Copy head branch name to clipboard