Adapt to rocq-prover/rocq#21912 (add argument to default_flags_of)#996

yannl35133 wants to merge 1 commit intoLPCIC:masterLPCIC/coq-elpi:masterfrom

Yann-Leray:rr-evars-no-unif-defaultYann-Leray/coq-elpi:rr-evars-no-unif-defaultCopy head branch name to clipboard