Repository navigation

Fix scope warning in MSetRBT ifpred abbreviation - #319

Merged

proux01 merged 1 commit into

rocq-prover:masterfrom

SkySkimmer:fixwarn

Oct 15, 2026

Merged

Fix scope warning in MSetRBT ifpred abbreviation#319
proux01 merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:fixwarn

Commits on Oct 15, 2026
- Fix scope warning in MSetRBT ifpred abbreviation
  SkySkimmer
  committed
  458b04c