
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">I don’t understand the need of these checks (tacky and incomplete…, as per the comment) <div class=""><br class=""></div><div class=""><a href="https://bitbucket.org/petsc/petsc/src/75aeaa18afd73be7f3020f94b788241b9e0ba3d7/src/dm/impls/shell/dmshell.c#lines-197" class="">https://bitbucket.org/petsc/petsc/src/75aeaa18afd73be7f3020f94b788241b9e0ba3d7/src/dm/impls/shell/dmshell.c#lines-197</a><div class=""><br class=""></div><div class="">Why are these checks needed? I’m inclined to remove these lines, but I would like some comments before doing it.</div></div></body></html>