Changed name of CCTK_DisplayTimerDataXXX() to CCTK_TimerPrintDataXXX().

git-svn-id: http://svn.cactuscode.org/flesh/trunk@2513 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 2 insertions, 2 deletions

diff --git a/src/include/cctk_Timers.h b/src/include/cctk_Timers.h
index c3606bc0..83dce925 100644
--- a/src/include/cctk_Timers.h
+++ b/src/include/cctk_Timers.h
@@ -74,8 +74,8 @@ int CCTK_TimerI(int this_timer, cTimerData *info);
 cTimerData *CCTK_TimerCreateData(void);
 int CCTK_TimerDestroyData(cTimerData *info);
 
-int CCTK_DisplayTimerData (const char *name);
-int CCTK_DisplayTimerDataI(int this_timer);
+int CCTK_TimerPrintData (const char *name);
+int CCTK_TimerPrintDataI(int this_timer);
 
 #ifdef __cplusplus
 }