Re: [ET Trac] [Einstein Toolkit] #753: prototype for CCTK_Barrier is wrong in reference manual