[petsc-dev] PetscTypeCompare

[Barry Smith]

  Yes

On Apr 24, 2012, at 2:37 PM, Dmitry Karpeev wrote:

> Should this be renamed PetscObjectTypeCompare, since it operates on 
> PetscObjects?
> Dmitry.