/*  File produced by Kranc */

#include "cctk.h"

int ML_BSSN_MP_O8_Startup(void)
{
  const char * banner = "ML_BSSN_MP_O8";
  CCTK_RegisterBanner(banner);
  return 0;
}