CCTK_INT FUNCTION \
GetRefinementLevel \
(CCTK_POINTER_TO_CONST IN cctkGH)
PROVIDES FUNCTION GetRefinementLevel \
WITH Carpet_GetRefinementLevel \
LANGUAGE C
CCTK_INT FUNCTION \
GetRefinementLevels \
(CCTK_POINTER_TO_CONST IN cctkGH)
PROVIDES FUNCTION GetRefinementLevels \
WITH Carpet_GetRefinementLevels \
LANGUAGE C
CCTK_INT FUNCTION \
GetMaxRefinementLevels \
(CCTK_POINTER_TO_CONST IN cctkGH)
PROVIDES FUNCTION GetMaxRefinementLevels \
WITH Carpet_GetMaxRefinementLevels \
LANGUAGE C
If they are not on the main branch, then this change should be merged.