> On 16 Jan 2019, at 13:21, Matthew Knepley via petsc-dev <petsc-dev at mcs.anl.gov> wrote: > > I think you just Push and do not Pop. Do we check for a non-empty stack? We silently ignore too many Pops. If you don't pop, at least in the past, you would get an error. Lawrence