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

Mark M2_flint_abort as FLINT_NORETURN

28aa011
Select commit
Loading
Failed to load commit list.
Sign in for the full log view