diff options
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/CactusTimers.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/CactusTimers.c b/src/util/CactusTimers.c index 912f4041..a0cf74b4 100644 --- a/src/util/CactusTimers.c +++ b/src/util/CactusTimers.c @@ -1228,7 +1228,7 @@ int CCTK_TimerPrintDataI (int this_timer, int this_clock) { firsttimer = this_timer; lasttimer = firsttimer + 1; - if (firsttimer < 0 || firsttimer > CCTK_NumTimers ()) + if (firsttimer < 0 || firsttimer >= CCTK_NumTimers ()) { CCTK_VWarn (8, __LINE__, __FILE__, "Cactus", "CCTK_TimerPrintDataI: Timer %d not found", this_timer); |