/* fake_cctk.h -- fake "cctk.h" for non-Cactus standalone compilations */
/* $Header$ */

#define CCODE
typedef int    CCTK_INT;
typedef double CCTK_REAL;