Skip to content

Mark M2_flint_abort as FLINT_NORETURN - #4519

Open
d-torrance wants to merge 1 commit into
Macaulay2:developmentfrom
d-torrance:flint-no-return
Open

Mark M2_flint_abort as FLINT_NORETURN#4519
d-torrance wants to merge 1 commit into
Macaulay2:developmentfrom
d-torrance:flint-no-return

Commits

Commits on Aug 4, 2026