On 18/01/17 02:32 PM, Barry Smith wrote: > Go for it. Ok, here it is! :) https://bitbucket.org/petsc/petsc/pull-requests/618/bug-fixe-the-debug_mode-for-abusive/diff It also includes an optimisation... Eric