1: #ifndef PETSC_HASHSETI_H 2: #define PETSC_HASHSETI_H 4: #include <petsc/private/hashset.h> 6: PETSC_HASH_SET(HSetI, PetscInt, PetscHashInt, PetscHashEqual) 8: #endif /* PETSC_HASHSETI_H */