Re: [petsc-dev] Unneeded check in TSSetUp?