[petsc-dev] PETSC_HAVE_COMPLEX vs PETSC_USE_COMPLEX

[Hapla Vaclav]

Hello

grep -R PETSC_HAVE_COMPLEX $PETSC_DIR/src
gives quite some occurrences.
It should be PETSC_USE_COMPLEX, right?

Vaclav