From eba44efce8cc1b886fb77b7ce4541f21ce04d46b Mon Sep 17 00:00:00 2001
From: Matthieu Schaller <matthieu.schaller@durham.ac.uk>
Date: Tue, 18 Apr 2017 16:11:53 +0100
Subject: [PATCH] Correct use of the timer mask to reset the timers.
---
examples/main.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/examples/main.c b/examples/main.c
index 5f42f3e06e..0e01f97092 100644
--- a/examples/main.c
+++ b/examples/main.c
@@ -628,7 +628,7 @@ int main(int argc, char *argv[]) {
for (int k = 0; k < timer_count; k++)
printf("%.3f\t", clocks_from_ticks(timers[k]));
printf("\n");
- timers_reset(0xFFFFFFFFllu);
+ timers_reset(timers_mask_all);
}
#ifdef SWIFT_DEBUG_TASKS
--
GitLab