diff options
-rw-r--r-- | src/TimerInfo.c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/TimerInfo.c b/src/TimerInfo.c index e7c689a..32409ae 100644 --- a/src/TimerInfo.c +++ b/src/TimerInfo.c @@ -78,7 +78,6 @@ static void TI_initExtraTimerTypeField(void); static int TI_isElement(char* selem); static int TI_insertElement(char* selem); static void TI_deleteExtraTimerTypeField(void); -static void TI_printExtraTimerTypeField(void); /* helper functions, comments below */ static int TI_isTimerType(const char* tName, char* tType); @@ -598,25 +597,6 @@ static void TI_deleteExtraTimerTypeField(void) } } -/* displays the timer list */ -/*@@ - @routine TI_deleteExtraTimerTypeField - @date Thu Dec 09 18:12:43 2004 - @author Andre Werthmann - @desc - displays the timer list - @enddesc -@@*/ -static void TI_printExtraTimerTypeField(void) -{ - int i; - - for (i=0; i<TI_nettypes; i++) - { - printf("timer type(%d): %s\n", i, TI_ettypes[i]); - } -} - /* returns the thornname of a given timername */ /*@@ @routine TI_thornName |