It is developer level, so might not belong in the public headers. Do you need it in the public headers?
> On Jul 20, 2017, at 11:27 AM, Jose E. Roman <[email protected]> wrote: > > DMCopyDMSNES() is documented > http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/SNES/DMCopyDMSNES.html > > but it is defined in the private header snesimpl.h. Shouldn't it be in the > public header petscsnes.h? > > Jose >
