[petsc-dev] error when compiling gamg

Mark, I got a compiling error after my latest pull. Can you please fix this? gamg.c:1827: error: conflicting types for 'PCGAMGSetType' /work/adz/zampini/MyWorkingCopyOfPetsc/petsc-dev/include/petscpc.h:451: note: previous declaration of 'PCGAMGSetType' was here make[1]: [/work/adz/zampini/MyWorkingCopyOfPetsc/petsc-dev/gnu-4.4.3-debug-double-louis/lib/libpetsc.a(gamg.o)] Error 1 (ignored) -- Stefano